Returned 63 matches (100 formulae, 102 docs)
    Lookup 0.831 ms, Re-ranking 37.736 ms
    Found 746 tuple postings, 537 formulae, 354 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
-1.0000
2.0000
a x b
a < x b

0.6154
-2.0000
2.0000
Y d x δ E
a x b .

0.6154
-2.0000
2.0000
( a x b )

0.6154
-4.0000
3.0000
{ x E x 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.5455
0.0000
3.0000
x y

0.5455
0.0000
2.0000
x K
x a
x α
0.5455
-1.0000
3.0000
x Q y
x i y
x P y
x + y
x S y
x 2 y
x 1 y

0.5455
-1.0000
3.0000
x y }

0.5455
-1.0000
2.0000
T x h
A x b
R x c
0.5455
-2.0000
3.0000
0 x y

0.5455
-2.0000
3.0000
¬ ( x y )

0.5455
-2.0000
3.0000
x i y i

0.5455
-2.0000
2.0000
x c κ x

0.5455
-2.0000
2.0000
A x b .
α x α y
z x z y
0.5455
-2.0000
2.0000
x z y z

0.5455
-2.0000
2.0000
x i k

0.5455
-2.0000
2.0000
0 x U

0.5455
-2.0000
2.0000
p = A * x

0.5455
-2.0000
1.0000
0 y π
0 y x

0.5455
-3.0000
3.0000
x y z .

0.5455
-3.0000
2.0000
1 + x e x

0.5455
-3.0000
2.0000
A 1 x b 1
A 2 x b 2

0.5455
-3.0000
2.0000
x K λ x e

0.5455
-3.0000
2.0000
x p 2 x

0.5455
-3.0000
2.0000
x 3 x L

0.5455
-3.0000
2.0000
B 0 = I * x

0.5455
-3.0000
1.0000
- A x A

0.5455
-4.0000
3.0000
x y y y
x y y x
x y x y
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 ϕ ( x ) ϕ ( y )
x y g ( x ) g ( y )

0.5455
-9.0000
3.0000
x = y ( x y y x )

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
-10.0000
3.0000
( x y y x ) 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.3529
-2.0000
2.0000
y / x 1.

0.3077
-1.0000
2.0000
x 7
x 2
x 10
x 0

0.3077
-1.0000
2.0000
0 y
4 * x

0.3077
-2.0000
2.0000
x * * x

0.3077
-2.0000
2.0000
x x .

0.3077
-3.0000
2.0000
z * ( 𝐬 j )

0.3077
-3.0000
2.0000
0 x 2
0.1 x 1
0 x 4
 0 < x 1
0 x 1
0 x 5
2 < x 3

0.3077
-3.0000
2.0000
y 1 y 2

0.3077
-3.0000
2.0000
0 y 5
 0 y < 8
0 * x = 0
1 * x = x
0 y 3

0.3077
-3.0000
2.0000
x i x j

0.3077
-4.0000
2.0000
0.4 x 23 0.5
1 x 1 10
0 x i 1.
0 x i 1
5 x 2 12.

0.3077
-4.0000
2.0000
- 3 y 3

0.3077
-4.0000
2.0000
x * M x 0

0.3077
-4.0000
2.0000
ln x x - 1

0.3077
-4.0000
2.0000
- 1 x 1

0.3077
-4.0000
2.0000
0 y j 1

0.3077
-4.0000
2.0000
0 x x 2

0.3077
-4.0000
2.0000
y j * y L

0.3077
-9.0000
2.0000
0 x 1 , 0 y 1