Returned 33 matches (100 formulae, 464 docs)
    Lookup 73.313 ms, Re-ranking 62.107 ms
    Found 899636 tuple postings, 50629 formulae, 75493 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-2.0000
5.0000
hi:X[0,1]

0.8451
0.0000
4.0000
f:X{*}
f:X{}

0.8451
-1.0000
4.0000
f:X{pt}
ϵ:X{±1}
ε:X{±1}
0.8451
-2.0000
4.0000
ϕ:X0{±1}

0.8451
-2.0000
4.0000
s:X{±1}2

0.8451
-2.0000
4.0000
π0:X{pt}

0.8451
-3.0000
4.0000
ε:X2{±1}

0.8451
-3.0000
4.0000
fπ:X{pt}
ϕr:X{±1}

0.6897
-1.0000
5.0000
hi:XK
hi:X

0.6897
-1.0000
4.0000
hk:X
hn:X
hx:X
ht:XX
ht:XY
hρ:XM
hn:XX

0.6897
-2.0000
5.0000
hi:XXi

0.6897
-2.0000
5.0000
hi:X1..m

0.6897
-2.0000
5.0000
hik:X

0.6897
-3.0000
5.0000
{hi:X}I

0.6897
-3.0000
5.0000
hi:XiYi
hi:XiX0

0.6897
-4.0000
5.0000
hij:XiXj

0.6897
-4.0000
5.0000
hi:XnX

0.5333
0.0000
3.0000
X{*}
X{y}

0.5333
-1.0000
4.0000
h:XF
h:XΣ
h:XR
h:X𝔐
h:XV
h:Xs
h:XX
h:XQ
h:XZ
h:XΓ
h:XK
h:XL
h:XΩ
h:X
h:X𝐑
h:XN
h:X𝕐
h:XG
h:XS
h:X𝕂
h:XM
h:XY
h:XP
h:XE
h:X
h:X
h:XB
h:Xk
h:XT

0.5333
-1.0000
3.0000
Xs{s}

0.5333
-1.0000
3.0000
[X{0}]

0.5333
-1.0000
3.0000
X{pt}

0.5333
-2.0000
4.0000
h:XL2
h:X+
h:X𝒦m
h:XGf

0.5333
-2.0000
4.0000
h:Xn
h:XX
h:X𝐑2
h:XSn
h:X1
h:XS2
h:X2ω
h:Xm

0.5333
-2.0000
4.0000
h:XR,
h:X.
h:Xw
h:XY.
h:XY,
h:XΩ,
0.5333
-2.0000
4.0000
h:X0X
h:X
h:X1Z
0.5333
-2.0000
4.0000
h:XX
h:X
h:X¯X
h:XnM
h:X~X

0.5333
-2.0000
4.0000
hX:XX
h0:X
h1:XY
h1:X

0.5333
-2.0000
4.0000
h~:XY
h:XX
h¯:XX
0.5333
-2.0000
4.0000
fh:XT

0.5333
-2.0000
3.0000
{A:XY}

0.5333
-4.0000
4.0000
h:X{}

0.5333
-5.0000
4.0000
h:X{+}