Returned 19 matches (100 formulae, 973 docs)
    Lookup 593.919 ms, Re-ranking 29.232 ms
    Found 802500 tuple postings, 200123 formulae, 266153 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6154
-1.0000
4.0000
zxy

0.6154
-1.0000
3.0000
uxy
e<xy
sxy
bxy
dxy

0.6154
-1.0000
2.0000
xny
xty
xzy
xvy
xwy
xdy
xuy
xγy
xpy
0.5455
0.0000
3.0000
xy

0.5455
-1.0000
3.0000
xy
x*y
xSy
xXy
x𝐒y
xpy
xy
xνy
xsy
xAy
xσy
xfy
xty
xcy
x𝒳y
xθy
x𝖽𝗂𝖼𝗍y
x⊥̸y
x𝒥y
xy
xμy
x𝒯y
xhy
xy
xTy
xlexy
xy
xVy
xρy
xMy
xCy
xQy
x0y
xKy
xvy
xay
xry
xπy
xLy
xWy
xBy
xPy
xzy

0.5455
-1.0000
3.0000
sxy
μxy
kxy
-xy
fxy
2xy
nxy
λxy

0.5455
-1.0000
3.0000
xy¯
xy
xy*
xy

0.5455
-1.0000
3.0000
xy
x+y
x-y
xy
x*y
xly
0.5455
-1.0000
3.0000
x+y
xy
x¯y
0.5455
-1.0000
3.0000
xny
xry
x1y
0.5455
-1.0000
3.0000
xyn

0.5455
-1.0000
3.0000
(xy)

0.5455
-2.0000
3.0000
Kixy
sτxy

0.5455
-2.0000
3.0000
<xy
2xy
xxy
0<xy
1xy
0xy
0.5455
-2.0000
3.0000
xpqy

0.5455
-3.0000
3.0000
x,sxy
sx,xy
-yxy
0.5455
-3.0000
3.0000
xyxy

0.3529
-2.0000
2.0000
x0y

0.3077
0.0000
2.0000
y