tangent
Not Supported
q
x0
Search
Returned 1 matches (100 formulae, 12127 docs)
Lookup 71.683 ms, Re-ranking 10.936 ms
Found 408126 tuple postings, 38946 formulae, 56583 documents
[ formulas ]
[ documents ]
[ documents-by-formula ]
1.0000
0.0000
1.0000
Not Supported
q
∗
q
¯
q
~
A
q
t
q
z
q
r
q
230
q
ℤ
q
˘
q
→
q
θ
q
±
q
←
q
b
q
*
q
Λ
q
∨
q
d
q
ℓ
q
∙
q
exact
q
12
q
τ
q
e
q
~
14
q
λ
q
24
q
#
q
γ
q
N
q
′′′
q
10
q
3
q
F
q
α
q
˙
j
q
th
q
x
q
i
q
ν
q
p
q
th
q
^
v
q
T
q
⊥
q
ϵ
q
0
q
45
q
n
q
†
q
R
q
5
q
7
q
σ
q
B
q
ρ
q
∧
q
s
q
E
q
~
q
~
c
q
+
q
a
q
¨
q
ε
q
Γ
q
6
q
𝐙
q
16
q
D
q
J
q
′
q
X
q
∞
q
I
q
~
μ
q
V
q
42
q
δ
q
𝒟
q
˙
ϕ
q
ℳ
q
4
q
β
q
k
q
φ
q
150
q
′′
q
2
q
∼
q
1
q
-
q
Z
q
u
q
h
q
˙
q
m
q
^
q
o
q
l