Returned 19 matches (100 formulae, 1059 docs)
    Lookup 90.888 ms, Re-ranking 28.038 ms
    Found 34477 tuple postings, 8544 formulae, 12814 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6154
-1.0000
3.0000
e<xy
bxy
sxy
0.6154
-1.0000
2.0000
xpy
xzy

0.6154
-1.0000
1.0000
xyz

0.5455
0.0000
3.0000
z*x
xy

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

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

0.5455
-1.0000
3.0000
xy.
xy
xy,
0.5455
-1.0000
3.0000
x¯y
x+y
xy
0.5455
-1.0000
3.0000
(xy)

0.5455
-1.0000
3.0000
xyn

0.5455
-1.0000
3.0000
xy¯
xy*
xy
xy

0.5455
-1.0000
3.0000
x1y
xry
xny
0.5455
-2.0000
3.0000
x2y2
x+y+
xnyn
x1y1
x1y2
x-y-
xiyi
xkyk

0.5455
-2.0000
3.0000
xy
x¯y¯
x^y^
xy

0.5455
-2.0000
3.0000
xy+C
xy𝕋
xy+z
xyz

0.5455
-2.0000
3.0000
xpqy

0.5455
-2.0000
3.0000
0<xy
0xy

0.3529
-2.0000
2.0000
x0y