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

0.3750
x , y A
x , y G
x , y N
0.3621
x , y A [ x y ¬ z X [ z x z y ] ] .

0.3488
x , y S ,
x , y V ,

0.3273
x , y U , x y

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

0.2917
x , y A x y x y

0.2748
x , y I : x - y I

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

0.2667
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.2581
x , y , z N

0.2574
x , y B , x y

0.2569
x , y , z ( x F y x F z y = z )

0.2537
x + y x + y x , y V

0.2532
x j , y j H

0.2500
x , y A 1
x , y A 2
x , y E i
x , y S X
x , y n
x , y 𝔽 p
0.2500
x , y A
x , y R d
x , y Z d
x , y Σ *
x , y +
x , y d
x , y n

0.2500
x , y 0

0.2500
x , y 𝔮

0.2488
x , y [ x y [ x R y y R x ] ]

0.2477
x , y , z ( x R y y R z x R z )

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

0.2381
x p , y p G

0.2340
x , y C d ( x , y )

0.2326
f , g F [ x ]
u , v K [ x ]
x , y V ( G )
x , y W ( λ )

0.2326
x , y X Y

0.2326
x p 2 , y p G

0.2290
x , y H : y , x

0.2290
x , y ( x R y y R x )

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

0.2250
x y S 2

0.2208
κ ( x , y ) := Tr ( ad x ad y ) x , y 𝔤

0.2178
x , y G , x * y

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

0.2151
x , y f R e p

0.2128
x q i - x 𝐅 q [ x ]

0.2062
x , y { 0 , 1 } k

0.2041
x , y ( N T ) *

0.2041
x , y A 1 A 2

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

0.2025
x , y A : x y x y

0.2020
x , y [ - 1 , 1 ]

0.2018
x y . R ( x , y )

0.2000
x , y S ( a , b )

0.1985
x y [ R x y R y x ]

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

0.1980
x y = round ( x y )
x y = ¬ ( x y )

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

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

0.1963
x y z ( x z y z ) .
x y z [ z x z y ] .

0.1942
( λ x . z ) y = z [ x := y ]
( λ x . E ) y E [ x / y ]
( λ x . E ) y E [ x := y ]
0.1923
x , y i I A i

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

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

0.1864
k ( x , y ) 0 x , y , k

0.1860
x , y , z A

0.1860
x y ψ ( x )