Returned 1 matches (100 formulae, 21699 docs)
    Lookup 391.643 ms, Re-ranking 12.418 ms
    Found 367998 tuple postings, 51013 formulae, 77330 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
1.0000
h00
hM
h22
hz
h32
hε
hb
hd
h
hF
hρ
hl
hgcd
hR
h1
hΔ
hC
h3
hη
hD
hs
h
hx
hop
h75
h-
hΦ
h
ht
hh
h33
hϵ
hext
hS
hν
hex
hj
h6
hI
h×
hmax
hα
h𝑒𝑥𝑡
hK
hγ
hf
hθ
h4
htot
hn
h+
hr
h𝒜
hc
h55
h𝒑
h
hφ
hg
hA
h¯
hN
he
hπ
hv
h0
hp
h
hy
h21
hs
h2
hL
hE
h7
hβ
hi
hΣ
h5
h±
hμ
hk
hu
hP
hc
hX
ho
hω
hT
hm
hH
h*
h31
hY
h𝒰
hmin
hJ
ha
hψ
hλ