Returned 55 matches (100 formulae, 277 docs)
    Lookup 1480.290 ms, Re-ranking 63.804 ms
    Found 104653565 tuple postings, 1207173 formulae, 1129449 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
0.0000
4.0000
h:Y{0}

0.8451
-1.0000
4.0000
ε:X{±1}
f:X{pt}
ϵ:X{±1}
0.8451
-2.0000
4.0000
s:X{±1}2

0.8451
-2.0000
4.0000
π0:X{pt}

0.8451
-2.0000
4.0000
ϕ:X0{±1}

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

0.8451
-3.0000
4.0000
ε:X2{±1}

0.6897
-1.0000
5.0000
hi:XK
hi:X

0.6897
-2.0000
5.0000
hi:XXi

0.6897
-2.0000
5.0000
hik:X

0.6897
-2.0000
5.0000
hi:X1..m

0.6897
-2.0000
4.0000
{Gi:XY}

0.6897
-2.0000
4.0000
{hi:GΓ}

0.6897
-3.0000
5.0000
{hi:X}I

0.6897
-3.0000
5.0000
hi:XiYi
hi:XiX0

0.6897
-3.0000
4.0000
{ϕi:XXi}

0.6897
-3.0000
4.0000
{fi:XiX}
{ϕi:Xi}

0.6897
-4.0000
5.0000
hij:XiXj

0.6897
-4.0000
5.0000
hi:XnX

0.6897
-5.0000
4.0000
fi:X{-}

0.5333
0.0000
3.0000
X{*}
X{y}

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
-1.0000
2.0000
pi{o}
Fi{0}
Bi{0}
0.5333
-2.0000
4.0000
hi:XX

0.5333
-2.0000
3.0000
{A:XY}

0.5333
-3.0000
3.0000
δ:XK{X}

0.5333
-4.0000
4.0000
h:X{}

0.5333
-5.0000
4.0000
h:X{+}

0.3750
0.0000
3.0000
hi:

0.3750
0.0000
2.0000
{211}
{𝒗}
{22}
{1111}
{w}
{v}
{x}
{4}
{31}
{u}

0.3750
-1.0000
2.0000
{wi}

0.3750
-4.0000
3.0000
{hi:i1}
{hi:iω}
{hi:iΔ}
{hi:iI}
{hi:i<ω}

0.3750
-5.0000
3.0000
{hix:i<m}

0.3750
-6.0000
3.0000
H={hi:i0}

0.3750
-6.0000
3.0000
{hi:0i<K}

0.2400
-2.0000
2.0000
{hi<ε}
{hiG}
{hi=ε}
{hi=ϵ}
{hiε}
{hiϵ}
0.2400
-2.0000
1.0000
H{hi}
H={hi}
𝒉={hi}
0.2400
-3.0000
2.0000
hi𝔻{U}

0.2105
-1.0000
2.0000
{hi}

0.2105
-1.0000
2.0000
{X}

0.2105
-2.0000
2.0000
{hi}i
{hi}I

0.2105
-2.0000
2.0000
{hij}
{hi}
{hi}
{h~i}
{hic}
{hi2}
{hi1}
{hi*}

0.2105
-2.0000
2.0000
{hij}

0.2105
-2.0000
2.0000
{hi}

0.2105
-3.0000
2.0000
{hi1}
{hi0}
{hi0}
{hi=0}

0.2105
-3.0000
2.0000
{hiy0}
{hix0}

0.2105
-3.0000
2.0000
{1-hi}
{1hi}

0.2105
-3.0000
2.0000
{hi(n)}
{hi(s)}
{hi[t]}
0.2105
-3.0000
2.0000
{XiX}

0.2105
-3.0000
2.0000
{hi}I

0.2105
-3.0000
2.0000
{e(hi)}