Returned 51 matches (100 formulae, 161 docs)
    Lookup 4767.900 ms, Re-ranking 124.546 ms
    Found 107389203 tuple postings, 15220625 formulae, 5619172 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-2.0000
5.0000
u=j1ajoj

0.7636
-2.0000
6.0000
ϕ=jϕjej

0.6931
-4.0000
5.0000
r=jgj+gj-

0.6931
-5.0000
5.0000
g=jJgj(y)xj

0.6931
-8.0000
6.0000
g*=j=1mgj(z)ej*

0.6931
-10.0000
6.0000
g(z)=j=1ngj(z)ej

0.6452
0.0000
4.0000
S=jsj
w=jcj
N=jaj
s=jxj
s=jαj
ϕ=jζj
Λ=jλj
f=jAj
ρ=jωj
n=jij
k=jqj
E=jhj
M=jbj
L=jpj
n=jaj
0.6452
-2.0000
5.0000
Z=jyjZj
Z=jnjZj

0.6452
-2.0000
5.0000
f=jJgj
f=jFgj

0.6452
-2.0000
5.0000
f=jgjhj

0.6452
-2.0000
5.0000
si=jgji

0.6452
-2.0000
4.0000
m=jejgj

0.6452
-3.0000
5.0000
Z=j=0vj

0.6452
-4.0000
5.0000
Z=j=1nXj2

0.6452
-4.0000
5.0000
Z2=j𝒮2Xj
Z1=j𝒮1Xj

0.6452
-4.0000
5.0000
xi¯=jgjixj

0.6452
-4.0000
5.0000
Zf=jmj[Aj]

0.6452
-4.0000
5.0000
Z*=j=1NVj

0.6452
-5.0000
5.0000
Z=j=1najεj
Z=j=1majfj
Z=j=1qzjXj
0.6452
-5.0000
5.0000
ei=jgjiej

0.6087
-4.0000
5.0000
h=jej*ej*¯

0.5714
-3.0000
4.0000
h=hjej*

0.5714
-4.0000
4.0000
h~=hjej*

0.5714
-6.0000
6.0000
1J=j=1rgj+e

0.5714
-6.0000
4.0000
g=j=14ejej

0.5263
0.0000
4.0000
γ=gj

0.5263
-1.0000
5.0000
g=jgj

0.5263
-1.0000
4.0000
e=jej
κ=jκj
f=jfj
X=jXj
Λ=jΛj
h=jhj
ν=jνj
b=jbj
N=jNj
A=jAj
1=jχj
v=jvj
D=jDj
u=juj
B=jBj
𝟙=jPj
ψ=jψj
x=jxj
λ=jλj
I=jIj
T=jTj
Φ=jΦj
E=jEj
δ=jδj
0.5263
-1.0000
3.0000
gseth
gseqt

0.5263
-2.0000
5.0000
g=jgj

0.5263
-2.0000
5.0000
=jκgj

0.5263
-2.0000
5.0000
g=jgj.

0.5263
-2.0000
4.0000
e0=jej

0.5263
-2.0000
4.0000
f=gjfj
S=gjIj

0.5263
-2.0000
4.0000
N=jNje

0.5263
-2.0000
4.0000
Z=αjZj
Z=αjWj
Z=ajZj
0.5263
-2.0000
4.0000
β=gjχj

0.5263
-2.0000
4.0000
Z=j𝐑γj

0.5263
-3.0000
5.0000
g=jgj
g=jngj

0.5263
-3.0000
5.0000
g=j2gj2

0.5263
-3.0000
5.0000
g^=jg^j

0.5263
-3.0000
4.0000
λ=jλjej

0.5263
-4.0000
5.0000
g=j=0gj
g=j=1gj

0.4800
-5.0000
5.0000
N(1)=jejej

0.4478
-1.0000
5.0000
Z=jZj

0.4478
-1.0000
4.0000
Z:=jXj

0.4478
-3.0000
5.0000
NZ=jZj
NZ=jZj

0.4068
0.0000
4.0000
jgj

0.4068
-3.0000
3.0000
g3e2

0.3200
-1.0000
4.0000
Z=Zj

0.3200
-4.0000
3.0000
figj=eji