Returned 55 matches (100 formulae, 117 docs)
    Lookup 91.915 ms, Re-ranking 180.325 ms
    Found 184845 tuple postings, 84551 formulae, 14655 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
10.0000
x , y A [ x y ¬ z X [ z x z y ] ] .

0.7216
-8.0000
7.0000
u S v x , y M ( x u y S x v y S ) .

0.6512
-5.0000
6.0000
x , y A , x y f ( x ) f ( y ) .

0.6512
-6.0000
6.0000
x , y A x y x y

0.6512
-6.0000
6.0000
x , y A : x y x y

0.5660
-3.0000
6.0000
x , y : ¬ ( x < y y < x )

0.5660
-3.0000
6.0000
x , y , z ( x F y x F z y = z )
x , y , z ( x R y y R z x R z )

0.5660
-7.0000
6.0000
x , y : ¬ ( x < y y < x ) x = y

0.5638
0.0000
5.0000
x , y [ x y [ x R y y R x ] ]

0.5638
-1.0000
5.0000
x y [ x y z y C ( x ; y z ) ] .

0.4762
0.0000
5.0000
x , y U , x y

0.4762
0.0000
5.0000
x , y S ,
x , y V ,

0.4762
0.0000
5.0000
x , y A
x , y G
x , y N
0.4762
0.0000
5.0000
x , y H : y , x
x , y I : x - y I

0.4762
-1.0000
4.0000
x , y V ( G )
x , y W ( λ )

0.4762
-1.0000
4.0000
u , v K [ x ]
f , g F [ x ]

0.4762
-3.0000
4.0000
x , y S ( a , b )

0.4762
-10.0000
5.0000
x + y x + y x , y V

0.4762
-12.0000
5.0000
κ ( x , y ) := Tr ( ad x ad y ) x , y 𝔤

0.4211
-1.0000
3.0000
x , y ( x R y y R x )

0.4211
-1.0000
3.0000
x y [ R x y R y x ]

0.3883
0.0000
4.0000
x , y 𝐐
x , y A
x , y B
x , y C
x , y E
x , y G
x , y I
x , y K
x , y M
x , y R
x , y S
x , y T
x , y V
x , y X
x , y Ω
x , y
x , y
x , y
x , y
x , y
x , y
x , y 𝔤

0.3883
0.0000
4.0000
x , y A
x , y R d
x , y Z d
x , y Σ *
x , y +
x , y d
x , y n

0.3883
0.0000
4.0000
x , y A 1
x , y A 2
x , y E i
x , y S X
x , y n
x , y 𝔽 p
0.3883
0.0000
4.0000
x , y f R e p

0.3883
0.0000
4.0000
x , y B , x y
x , y G , x * y

0.3883
0.0000
4.0000
x , y [ 0 , 1 ]
x , y [ 0 , )

0.3883
0.0000
4.0000
x , y ( N T ) *

0.3883
0.0000
4.0000
x , y X Y

0.3883
0.0000
4.0000
x , y [ - 1 , 1 ]

0.3883
0.0000
4.0000
x , y 𝔮

0.3883
0.0000
4.0000
x , y A 1 A 2

0.3883
0.0000
4.0000
x , y { 0 , 1 } k

0.3883
0.0000
4.0000
x , y i I A i

0.3883
0.0000
3.0000
x z M [ x := y ] [ z ] = M [ z ]

0.3883
-2.0000
4.0000
x p , y p G

0.3883
-2.0000
4.0000
x j , y j H

0.3883
-2.0000
2.0000
x , y , z A

0.3883
-3.0000
4.0000
x p 2 , y p G

0.3883
-3.0000
2.0000
x , y , z N

0.3883
-4.0000
4.0000
b 𝔹 , x , y
g G , x , y M

0.3883
-6.0000
4.0000
x , y C d ( x , y )

0.3883
-6.0000
4.0000
{ ( x , y ) | x , y }

0.3883
-8.0000
4.0000
M = ( M ( x , y ) ) x , y S

0.3717
-6.0000
4.0000
x y z ( x z y z ) .

0.3529
-4.0000
4.0000
x y . R ( x , y )

0.3297
-1.0000
4.0000
x , y 0

0.3297
-4.0000
4.0000
x q i - x 𝐅 q [ x ]

0.3297
-8.0000
4.0000
k ( x , y ) 0 x , y , k

0.3000
-2.0000
2.0000
x y ψ ( x )

0.2667
-3.0000
4.0000
x y = round ( x y )
x y = ¬ ( x y )

0.2667
-4.0000
5.0000
x = y and ( L z ) [ x := y ]

0.2667
-5.0000
1.0000
x y z [ z x z y ] .

0.2532
-7.0000
4.0000
( λ x . z ) y = z [ x := y ]
( λ x . E ) y E [ x / y ]
( λ x . E ) y E [ x := y ]
0.2353
-1.0000
3.0000
x y S 2