Returned 46 matches (100 formulae, 897 docs)
    Lookup 3.809 ms, Re-ranking 32.883 ms
    Found 14025 tuple postings, 9129 formulae, 3596 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
5.0000
z * x y

1.0000
-10.0000
5.0000
( x y ) = sup { z z * x y } .

0.6154
-4.0000
3.0000
{ x E x y }

0.6154
-5.0000
3.0000
x * ( x y ) y .

0.6154
-7.0000
3.0000
x = { y X : x y }

0.6154
-8.0000
3.0000
{ ( x , y ) X 2 | x y }

0.6154
-9.0000
3.0000
x 1 y 1 , , x k y k

0.6154
-11.0000
3.0000
L A = { x y A  s.t.  x y } .

0.6154
-12.0000
3.0000
x = { y X : x y } = 𝒩 x .

0.5455
0.0000
3.0000
x y

0.5455
-1.0000
3.0000
x + y
x i y
x 2 y
x Q y
x S y
x P y
x 1 y

0.5455
-1.0000
3.0000
x y }

0.5455
-2.0000
3.0000
¬ ( x y )

0.5455
-2.0000
3.0000
x i y i

0.5455
-2.0000
3.0000
0 x y

0.5455
-2.0000
2.0000
z x z y
α x α y

0.5455
-3.0000
3.0000
x y z .

0.5455
-4.0000
3.0000
x y y y
x y x y
x y y x
0.5455
-5.0000
3.0000
x y y x .

0.5455
-8.0000
3.0000
x y x y y x

0.5455
-8.0000
3.0000
x y g ( x ) g ( y )
x y ϕ ( x ) ϕ ( y )

0.5455
-9.0000
3.0000
x y  if and only if  f ( x ) f ( y ) .

0.5455
-10.0000
3.0000
{ ( x , y ) x y x y }

0.5455
-10.0000
3.0000
x < y ( x y x y ) .

0.5455
-10.0000
3.0000
( x z z y ) x y .

0.5455
-11.0000
3.0000
x , x y F ( x ) G ( y )

0.5455
-11.0000
3.0000
¬ ( ¬ ( x y ) ¬ ( y x ) ) .

0.5455
-12.0000
3.0000
z [ z < x z < y ] x y .

0.3077
-1.0000
2.0000
x 2
x 0

0.3077
-1.0000
2.0000
0 y

0.3077
-3.0000
2.0000
y 1 y 2

0.3077
-4.0000
2.0000
y j * y L

0.3077
-5.0000
2.0000
min y y max y

0.3077
-5.0000
2.0000
( z , x ) y

0.3077
-6.0000
2.0000
- | y | y | y |

0.3077
-9.0000
2.0000
0 x 1 , 0 y 1

0.1905
-1.0000
2.0000
x = y
x y
x , y
x y
x > y
x y
x y
x y
x < y
x - y
x y

0.1905
-1.0000
1.0000
k e y

0.1538
0.0000
1.0000
y

0.1538
-1.0000
1.0000
x y

0.1538
-1.0000
1.0000
0 y
g y

0.1538
-1.0000
1.0000
+ y
W y
i y
= y
lb y
H y
d y
y
y
- y
λ y
γ y
d y
q y
L y
T y
Δ y
δ y
y

0.1538
-1.0000
1.0000
y j
y s
y 12
y k
y 0
y i
y n
y t

0.1538
-1.0000
1.0000
G y
k y
F y
p y
σ y
a y
b y
I y

0.1538
-1.0000
1.0000
y ˙

0.1538
-2.0000
1.0000
= x y