Returned 65 matches (100 formulae, 91 docs)
    Lookup 56.839 ms, Re-ranking 50.544 ms
    Found 1187457 tuple postings, 177431 formulae, 26675 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
-1.0000
3.0000
1.0000
testing/wikipedia/v3/00600.html
Ω 2 = { } .

Doc 2
1.0000
-2.0000
3.0000
1.0000
testing/wikipedia/v3/05405.html
B = { x ψ } .

Doc 3
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/04933.html
= { 𝐩 N } .

Doc 4
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/05754.html
f = { { f } } .

Doc 5
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/07016.html
P = { n n  is prime } .

Doc 6
1.0000
-4.0000
3.0000
1.0000
testing/wikipedia/v3/14940.html
r k = { x / β k } .

Doc 7
1.0000
-5.0000
3.0000
2.0000
testing/wikipedia/v3/11256.html
𝒫 = { P θ | θ Θ } .
𝒫 = { f θ | θ Θ } .

Doc 8
1.0000
-5.0000
3.0000
1.0000
testing/wikipedia/v3/27687.html
n J n = { 0 } .

Doc 9
1.0000
-6.0000
3.0000
1.0000
testing/wikipedia/v3/04490.html
Hol x = { τ γ : γ  is a loop based at  x } .

Doc 10
1.0000
-6.0000
3.0000
1.0000
testing/wikipedia/v3/01190.html
- S = { - s | s S } .

Doc 11
1.0000
-6.0000
3.0000
1.0000
testing/wikipedia/v3/14990.html
W = { A G ; A V } .

Doc 12
1.0000
-7.0000
3.0000
2.0000
testing/wikipedia/v3/01222.html
S g = { s . g : s S } .
g S = { g . s : s S } .

Doc 13
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/03571.html
R = { x : x p 1 } .

Doc 14
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/14983.html
ρ M = { A M T ( A ) } .

Doc 15
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/26067.html
S = { x 𝐐 | x 2 < 2 } .

Doc 16
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/05292.html
𝕋 = { z : | z | = 1 } .

Doc 17
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/16891.html
V = { Re { v } v V } .

Doc 18
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/00454.html
G x = { g . x g G } .

Doc 19
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/02657.html
n ^ = { m | m n mod k } .

Doc 20
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/10422.html
G x = { g x g G } .

Doc 21
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/06957.html
τ S = { S U U τ } .

Doc 22
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/00907.html
D = { z 𝐂 : | z | < 1 } .

Doc 23
1.0000
-7.0000
3.0000
1.0000
testing/wikipedia/v3/12309.html
S = { x V :  | x | = 1 } .

Doc 24
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/09373.html
k = { u K : ( u ) = 0 } .

Doc 25
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/04126.html
B = { x A : x f ( x ) } .

Doc 26
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/12450.html
k = { u K : ( u ) = 0 } .

Doc 27
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/06495.html
V = { w W : χ ( w ) = w } .

Doc 28
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/05238.html
= { e Δ e = 0 } .

Doc 29
1.0000
-8.0000
3.0000
1.0000
testing/wikipedia/v3/01717.html
B A = { x B |  x A } .

Doc 30
1.0000
-9.0000
3.0000
2.7742
testing/wikipedia/v3/06110.html
S / m = { u M |  u m S } .
m S = { u M |  m u S } .
F = { m L |  m L }
Doc 31
0.7742
0.0000
3.0000
1.5484
testing/wikipedia/v3/01024.html
F = { HALT }
Σ = { 1 }

Doc 32
0.7742
0.0000
3.0000
0.7742
testing/wikipedia/v3/00822.html
F = { r }

Doc 33
0.7742
0.0000
2.0000
1.5484
testing/wikipedia/v3/04330.html
W = { Y }
X = { a }

Doc 34
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/23663.html
C = { i }

Doc 35
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/00935.html
𝒫 = { all distributions }

Doc 36
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/17289.html
I = { 5 }

Doc 37
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/26714.html
𝔇 = { d }

Doc 38
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/02229.html
H = { e }

Doc 39
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/24134.html
T = { x }

Doc 40
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/00018.html
B = { x }

Doc 41
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/04156.html
I = { init }

Doc 42
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/10713.html
𝒥 = { 1 }

Doc 43
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/14000.html
P = { X }

Doc 44
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/15544.html
Σ = { α }

Doc 45
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/15557.html
G = { R }

Doc 46
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/26722.html
𝒟 = { d }

Doc 47
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/12373.html
A = { x }

Doc 48
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/16627.html
H = { 0 }

Doc 49
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/22411.html
N = { S }

Doc 50
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/13985.html
K = { x }

Doc 51
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/12224.html
i = { i }

Doc 52
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/07303.html
X = { ¬ A }

Doc 53
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/22568.html
0 B = { o }

Doc 54
0.7742
-2.0000
3.0000
0.7742
testing/wikipedia/v3/00327.html
2 = { } .

Doc 55
0.7742
-3.0000
3.0000
0.7742
testing/wikipedia/v3/26565.html
F = { A B C }

Doc 56
0.7742
-4.0000
3.0000
0.7742
testing/wikipedia/v3/24904.html
F = { ϕ i } i J

Doc 57
0.7742
-7.0000
3.0000
0.7742
testing/wikipedia/v3/02165.html
{ m { n x } } = { m n x } .

Doc 58
0.7742
-8.0000
3.0000
0.7742
testing/wikipedia/v3/03737.html
[ g ] = { λ 2 g | λ > 0 } .

Doc 59
0.7742
-9.0000
3.0000
0.7742
testing/wikipedia/v3/15961.html
ρ ( L ) = { λ | λ  is a regular value of  L } .

Doc 60
0.6154
-1.0000
2.0000
1.2308
testing/wikipedia/v3/10948.html
V - { } .
x { x } .

Doc 61
0.6154
-1.0000
2.0000
0.6154
testing/wikipedia/v3/08242.html
{ 0 } .

Doc 62
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/22247.html
M 1 × { 1 } .

Doc 63
0.6154
-3.0000
2.0000
0.6154
testing/wikipedia/v3/15130.html
I N { 1 } .

Doc 64
0.6154
-4.0000
2.0000
0.6154
testing/wikipedia/v3/26807.html
G 0 = G { 0 } .

Doc 65
0.6154
-4.0000
2.0000
0.6154
testing/wikipedia/v3/01800.html
* = - { 0 } .

Doc 66
0.6154
-4.0000
2.0000
0.6154
testing/wikipedia/v3/28290.html
a a * , { a b } .

Doc 67
0.6154
-5.0000
2.0000
0.6154
testing/wikipedia/v3/07108.html
𝔤 = T e G { left-invariant vector fields on G } .

Doc 68
0.6154
-5.0000
2.0000
0.6154
testing/wikipedia/v3/04399.html
S ( α ) = α { α } .

Doc 69
0.5455
0.0000
2.0000
1.6364
testing/wikipedia/v3/08338.html
{ y } .
{ x [ m ] ;   m } .
{ x ( u ) ;   u } .
Doc 70
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/23239.html
{ 𝐑 r } .

Doc 71
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/08319.html
k { τ p } .

Doc 72
0.5455
-3.0000
2.0000
1.0909
testing/wikipedia/v3/07188.html
𝒫 = 𝔐 { } .
𝒢 = 𝒵 × 𝔊 { 𝒢 } .

Doc 73
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/02327.html
sup n { a n } .

Doc 74
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/04204.html
{ f ( t ) } .

Doc 75
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/21919.html
{ α ( f n ) } .

Doc 76
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/24574.html
F K { y } .

Doc 77
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/16697.html
{ } x X .

Doc 78
0.5455
-4.0000
2.0000
1.0909
testing/wikipedia/v3/02395.html
{ x : ϕ ( x ) } .
{ x z : ϕ ( x ) } .

Doc 79
0.5455
-4.0000
2.0000
0.5455
testing/wikipedia/v3/11375.html
{ G n } n .

Doc 80
0.5455
-4.0000
2.0000
0.5455
testing/wikipedia/v3/07254.html
P ( X ) - { } .

Doc 81
0.5455
-4.0000
2.0000
0.5455
testing/wikipedia/v3/09247.html
LMMSE = tr { C e } .

Doc 82
0.5455
-5.0000
2.0000
0.5455
testing/wikipedia/v3/01128.html
{ V I : I  is an ideal of  R } .

Doc 83
0.5455
-5.0000
2.0000
0.5455
testing/wikipedia/v3/23426.html
{ x } = [ Ψ ] { q } .

Doc 84
0.5455
-5.0000
2.0000
0.5455
testing/wikipedia/v3/03583.html
{ i t : t } .

Doc 85
0.5455
-5.0000
2.0000
0.5455
testing/wikipedia/v3/29017.html
{ v B B  is a flag in  } .

Doc 86
0.5455
-6.0000
2.0000
0.5455
testing/wikipedia/v3/07500.html
{ N ( t ) : t 0 } .

Doc 87
0.5455
-6.0000
2.0000
0.5455
testing/wikipedia/v3/06887.html
{ z : z = 0 } .

Doc 88
0.5455
-6.0000
2.0000
0.5455
testing/wikipedia/v3/07078.html
{ N ( t ) : t 0 } .

Doc 89
0.3077
-1.0000
1.0000
0.3077
testing/wikipedia/v3/09820.html
E { . }

Doc 90
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/07732.html
F = { W }

Doc 91
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/03697.html
F = γ F M .