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

0.9875
x , y A [ x y ¬ z X [ z x z y ] ] .

0.5577
x , y , z ( x F y x F z y = z )
x , y , z ( x R y y R z x R z )

0.5301
u S v x , y M ( x u y S x v y S ) .

0.5216
x , y : ¬ ( x < y y < x )

0.4944
x , y [ x y [ x R y y R x ] ]

0.4912
x y [ x y z y C ( x ; y z ) ] .

0.4444
x , y : ¬ ( x < y y < x ) x = y

0.4377
x , y A , x y f ( x ) f ( y ) .

0.3855
x , y U , x y

0.3855
x , y S ,
x , y V ,

0.3855
x , y H : y , x
x , y I : x - y I

0.3855
x , y A
x , y G
x , y N
0.3652
x , y A : x y x y

0.3469
x , y A x y x y

0.3186
x y [ R x y R y x ]

0.3186
x , y ( x R y y R x )

0.3065
x y z ( x z y z ) .

0.3034
x , y V ( G )
x , y W ( λ )

0.3034
u , v K [ x ]
f , g F [ x ]

0.2962
x = y and ( L z ) [ x := y ]

0.2821
x , y 𝔮

0.2821
x , y A
x , y R d
x , y Z d
x , y Σ *
x , y +
x , y d
x , y n

0.2821
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.2821
x , y X Y

0.2821
x , y A 1 A 2

0.2821
x , y B , x y
x , y G , x * y

0.2821
x , y [ - 1 , 1 ]

0.2821
x , y A 1
x , y A 2
x , y E i
x , y S X
x , y n
x , y 𝔽 p
0.2821
x , y ( N T ) *

0.2821
x , y { 0 , 1 } k

0.2821
x , y [ 0 , 1 ]
x , y [ 0 , )

0.2821
x , y i I A i

0.2821
x , y f R e p

0.2724
x p , y p G

0.2699
x , y , z N

0.2683
x j , y j H

0.2679
x p 2 , y p G

0.2651
x , y 0

0.2631
x y z [ z x z y ] .

0.2621
x , y S ( a , b )

0.2596
x y = round ( x y )
x y = ¬ ( x y )

0.2429
x q i - x 𝐅 q [ x ]

0.2411
x y . R ( x , y )

0.2343
x z M [ x := y ] [ z ] = M [ z ]

0.2336
x + y x + y x , y V

0.2268
x , y C d ( x , y )

0.2115
b 𝔹 , x , y
g G , x , y M

0.2115
{ ( x , y ) | x , y }

0.2075
( λ x . z ) y = z [ x := y ]
( λ x . E ) y E [ x / y ]
( λ x . E ) y E [ x := y ]
0.2038
κ ( x , y ) := Tr ( ad x ad y ) x , y 𝔤

0.1833
M = ( M ( x , y ) ) x , y S

0.1827
x , y , z A

0.1818
k ( x , y ) 0 x , y , k

0.1814
x y S 2

0.1728
x y ψ ( x )