Returned 94 matches (100 formulae, 95 docs)
    Lookup 2.469 ms, Re-ranking 234.038 ms
    Found 46538 tuple postings, 41620 formulae, 10096 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
17.0000
μ ( A ) = { 1  if  0 A 0  if  0 A .

0.7494
-5.0000
13.0000
χ A ( x ) = { 1 if  x A , 0 if  x A .

0.7494
-6.0000
10.0000
δ s i ( X ) = { 1  if  s i X 0  if  s i X

0.7241
-12.0000
7.0000
g ( x ) = { 0 if  0 x < 1 - α 1 if  1 - α x 1 .

0.6878
-5.0000
10.0000
F ( x ) = { 1 , if  x S 0 , if  x S

0.6878
-6.0000
13.0000
𝟏 A ( x ) = { 1 if  x A , 0 if  x A .

0.6878
-9.0000
7.0000
I ( y j ) = { 0 if y j = y L 1 if y j y L .

0.6261
-6.0000
8.0000
ϕ ( x ) = { 1 if  x > x 0 0 if  x < x 0

0.6261
-7.0000
12.0000
𝟏 A ( ω ) = { 1 if  ω A , 0 if  ω A ,

0.6261
-7.0000
8.0000
δ ( a , b ) = { 1 if  a = b 0 if  a < b .

0.6261
-8.0000
10.0000
m ( A ) = { 1 if  A F 0 if  S A F undefined otherwise

0.6261
-9.0000
6.0000
δ x ( U ) = { 0 if x U 1 if x U U 𝒯

0.6261
-11.0000
8.0000
F ( k ; k 0 ) = { 1 , if  k k 0 0 , if  k < k 0
f ( k ; k 0 ) = { 1 , if  k = k 0 0 , if  k k 0

0.6018
-5.0000
7.0000
e b ( b ) = { 1 if  b = b 0 otherwise.

0.6018
-6.0000
7.0000
f ( x ) = { 1 if  w x + b > 0 0 otherwise

0.6018
-13.0000
8.0000
N i 0 ( x ) = { 1 , if  x [ u i , u i + 1 ) 0 , otherwise 

0.6018
-14.0000
9.0000
Π ( t ) = def { 1 if  | t | < 1 2 , 0 if  | t | > 1 2 .

0.5854
-7.0000
12.0000
𝟏 A ( x ) := { 1 if  x A , 0 if  x A .

0.5854
-8.0000
11.0000
δ x 0 ( A ) = { 1 if x 0 A 0 if x 0 A

0.5854
-16.0000
8.0000
f ( x ) = { m x + y 1 - m x 1 if  0 x < x 1 0 if  x x 1

0.5751
-3.0000
7.0000
f ( x ) = { 1 if  x > 0 0 otherwise

0.5751
-3.0000
6.0000
X ( t ) = { 1 , sys functions at time  t 0 , otherwise

0.5751
-6.0000
8.0000
f ( x ) = { 1 , if  x  is rational 0 , if  x  is irrational

0.5751
-6.0000
8.0000
H ( x ) = { 1 if  x 0 0 if  x < 0.

0.5751
-6.0000
7.0000
D ( t ) = { 1 / m if  | t | 1 0 otherwise

0.5751
-6.0000
7.0000
d | n λ ( d ) = { 1 if  n  is a perfect square, 0 otherwise.

0.5751
-7.0000
8.0000
ϵ ( X n ) = { 1 if  n = 0 0 if  n > 0

0.5751
-7.0000
6.0000
h ( i , x ) = { 1 if   program  i  halts on input  x , 0 otherwise.

0.5751
-8.0000
8.0000
ε ( n ) = { 1 , if  n = 1 0 , if  n > 1
ε ( n ) = { 1 , if  n = 1 0 , if  n 1
h ( k ) = { 1 , if  k 0 0 , if  k < 0
0.5751
-9.0000
7.0000
g k ( x ) = { 1 if  x = a j , j k 0 otherwise

0.5751
-9.0000
6.0000
H ( t ) = { 0 , if  t 0 ; 1 , if  t > 0.

0.5751
-10.0000
9.0000
d | n μ ( d ) = { 1  if  n = 1 0  if  n > 1.

0.5751
-10.0000
6.0000
f ( x ) = g ( x ) = { 0 if  x 0 1 if  x = 0

0.5751
-11.0000
8.0000
f ( x ) = { 1 - x 2 if | x | < 1 0 if | x | 1

0.5751
-16.0000
8.0000
χ 0 ( a ) = { 1 if  gcd ( a , n ) = 1 , 0 if  gcd ( a , n ) 1.

0.5641
-5.0000
10.0000
ϕ ( x ) = { 1 if  x R 0 if  x A

0.5641
-5.0000
6.0000
F ( x ) = { 0 if  x < μ 1 if  x μ

0.5641
-7.0000
8.0000
ϕ ( T ) = { 1 if  T > t 0 0 if  T < t 0

0.5641
-8.0000
9.0000
( x 2 p ) = { 1 if  p x 0 if  p x .

0.5641
-8.0000
8.0000
χ A ( x ) = { 0 , if  x A 1 , if  x A

0.5641
-8.0000
7.0000
ρ ( x , y ) = { 1 if x y , 0 if x = y

0.5641
-11.0000
7.0000
s ( t ) = { A e 2 i π f 0 t if  0 t < T 0 otherwise

0.5405
-4.0000
9.0000
𝟏 A ( x ) = { 1  if  x A 0  otherwise
1 A ( x ) = { 1 if  x A 0 else

0.5405
-5.0000
9.0000
( 𝕀 A ) i = { 1  if  x i A 0  otherwise

0.5405
-8.0000
6.0000
K ( x , y ) = { 1 , if x y 0 , otherwise .

0.5405
-9.0000
6.0000
H ( x , y ) = { 1 if  x 2 + y 2 1 0 else

0.5405
-15.0000
9.0000
( A i ) x , y = { 1 , if  ( x , y ) R i , 0 , otherwise. ( 1 )

0.5405
-15.0000
8.0000
( D i ) x , y = { 1 , if  ( x , y ) R i , 0 , otherwise.    ( 1 )

0.5220
-10.0000
8.0000
e m , e n = { 1 if m = n 0 if m n .

0.5143
-2.0000
6.0000
[ P ] = { 1 if  P  is true; 0 otherwise.

0.5143
-9.0000
8.0000
f ( f ( x ) ) = { 1 if  x 0 0 if  x = 0

0.5018
-8.0000
8.0000
δ b a = { 1 if  a = b , 0 if  a b .

0.5018
-12.0000
8.0000
I | X | K = { 1 if  | X | K , 0 if  | X | < K .

0.4791
-8.0000
7.0000
f ( x ) = { x if  x 0 , 0 if  x < 0

0.4791
-8.0000
7.0000
I Q ( x ) := { 1  if  x  is rational , 0  if  x  is irrational .

0.4791
-12.0000
7.0000
f ( x ) = { e - 1 / x 2 if  x 0 0 if  x = 0

0.4791
-13.0000
7.0000
s ( x ) = { ε , if  f ( x ) ε 0 , if  f ( x ) < ε

0.4791
-13.0000
7.0000
f ( x ) = { x 2 sin ( 1 / x ) if  x 0 0 if  x = 0

0.4534
-8.0000
7.0000
( a 0 ) = { 1 if  a = ± 1 , 0 otherwise.

0.4390
-5.0000
7.0000
y = { 1 if  u θ 0 if  u < θ

0.4390
-9.0000
7.0000
δ i j = { 1 , if  i = j 0 , if  i j

0.4390
-12.0000
7.0000
V o = { 1 , if  V + > V - 0 , if  V + < V -

0.4390
-14.0000
7.0000
v i ( v j ) = δ j i = { 1 if  i = j 0 if  i j ,

0.4390
-14.0000
7.0000
u i T u j = { 1 , if  i = j , 0 , if  i j E .

0.4390
-15.0000
7.0000
j ( x i ) = δ j i = { 1 , if  j = i 0 , if  j i

0.4390
-27.0000
9.0000
μ ( A ) = { ( 1 - 1 λ ) 𝟏 0 A + ν ( A ) , if  λ > 1 ν ( A ) , if  0 λ 1 ,

0.4174
-5.0000
6.0000
( X ) + = { X if  X 0 0 else

0.4174
-6.0000
6.0000
A u , v = { 1 if  {u,v}   ϵ   E 0 otherwise

0.4174
-8.0000
6.0000
G i , j = { 1 if  S i S j 0 otherwise

0.4174
-11.0000
6.0000
Y i = { 1 if  Y i 1 > Y i 0 , 0 otherwise.

0.4174
-11.0000
6.0000
1 { X 𝔼 [ X ] } = { 1 if  X 𝔼 [ X ] 0 else

0.4174
-12.0000
7.0000
( x ) := { 1 , if  | x | 1 / 2 , 0 if  otherwise .

0.4174
-12.0000
6.0000
1 y t = v k = { 1 , if  y t = v k 0 , otherwise

0.4174
-12.0000
6.0000
i j = { 1 / L ( p j ) , if  j  links to  i 0 , otherwise

0.4174
-14.0000
7.0000
fact ( n ) = { 1 if  n = 0 n fact ( n - 1 ) if  n > 0

0.3925
-7.0000
6.0000
δ 0 = { 1 if X 1 = 0 , 0 otherwise,

0.3925
-8.0000
6.0000
I = { 1 if  Y 1 / 3 , 0 otherwise ,

0.3925
-9.0000
6.0000
Y 2 = { 1 if  Y 2 * > 0 , 0 otherwise ,
Y 1 = { 1 if  Y 1 * > 0 , 0 otherwise ,

0.3925
-10.0000
6.0000
𝐃 i = { 1 , if  L ( p i ) = 0 0 , otherwise

0.3925
-12.0000
7.0000
t n = { 1 if  m = 1 mod 4 0 if  m = 3 mod 4

0.3925
-12.0000
6.0000
x n = { 1  if  T θ n ( x ) [ 0 , θ ) 0  else

0.3925
-13.0000
7.0000
a n = { 1 if  n = 2 k - 1 , 0 if  n = 2 k

0.3925
-13.0000
6.0000
Y = { 1 if  Y > 0  i.e.  - ε < X β , 0 otherwise.

0.3756
-8.0000
8.0000
μ ( A ) = { | A | if  A  is finite + if  A  is infinite

0.3553
-6.0000
5.0000
𝐈 O := { 1 if  x > μ , 0 else

0.3553
-17.0000
4.0000
δ x ( A ) = 1 A ( x ) = { 0 , x A ; 1 , x A .

0.2449
-13.0000
5.0000
𝟏 A ( x ) := { 1 , x A ; 0 , x A .

0.2290
-5.0000
4.0000
μ ( A ) = Pr ( D A ) .

0.2290
-12.0000
3.0000
c n = { 0 s n A , 1 s n A .

0.2087
-1.0000
4.0000
μ ( A ) = 0
μ ( A ) =

0.2087
-2.0000
4.0000
μ ( A ) = χ A

0.2087
-3.0000
4.0000
μ ( A B ) = 0

0.2087
-3.0000
4.0000
μ 0 ( A ) = +

0.1463
-4.0000
3.0000
( A c ) c = A .