Returned 85 matches (100 formulae, 84 docs)
    Lookup 130.687 ms, Re-ranking 1807.120 ms
    Found 482112 tuple postings, 185962 formulae, 22095 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.9383
w = { w * if  w * > 1 2 , 1 2 if  w * 1 2 .

0.6444
M ( n ) = { n - 10 , if n > 100 M ( M ( n + 11 ) ) , if n 100

0.6403
y 1 i = { y 1 i * if y 1 i * > 0 0 if y 1 i * 0.
y 2 i = { y 2 i * if y 1 i * > 0 0 if y 1 i * 0.
y 3 i = { y 3 i * if y 1 i * > 0 0 if y 1 i * 0.
0.6330
y i = { y i * if y i * > 0 0 if y i * 0

0.6115
f ( n ) ( x ) = { p n ( x ) x 2 n f ( x ) if x > 0 , 0 if x 0 ,

0.6079
Y n = { 1 , if U n > 0 , 0 , if U n 0

0.5995
f ( x ) = { 1 x if x > 0 , 5 if x 0.

0.5962
f ( x ) = { exp ( - 1 / x ) if x > 0 , 0 if x 0 ,

0.5827
y i = { y i * if y i * > y L y L if y i * y L .

0.5588
g = { - 5 9 ( x 2 + 1 ) S , if T > 1 2 5 9 ( x 2 + 1 ) S , if T < 1 2 0 , if T = 0

0.5192
θ = { sin - 1 1 β , if β 1 π - sin - 1 β , if β 1

0.5135
f ( x ) = { + 2 x , if x 0 - 2 x , if x 0.

0.5130
f ( x ) = { + x 2 , if x 0 - x 2 , if x 0.

0.5049
| a | = { a , if a 0 - a , if a 0

0.5018
Y = { 0 , if Y * > 0 1 , if Y * < 0.

0.5017
a z = { z if a > 0 , - z if a < 0.

0.4966
ϕ ( T ) = { 1 if T > t 0 0 if T < t 0
ϕ ( x ) = { 1 if x > x 0 0 if x < x 0

0.4942
V o = { 1 , if V + > V - 0 , if V + < V -

0.4894
rect ( t ) = Π ( t ) = { 0 if | t | > 1 2 1 2 if | t | = 1 2 1 if | t | < 1 2 .

0.4818
𝐚 i = { 1 if w i > 0 , 0 if w i < 0.

0.4722
U = { { 0 , 1 } , if P { 0 } , if ¬ P

0.4633
sgn f = { + 1 , if f is even - 1 , if f is odd .

0.4507
δ ( a , b ) = { 1 if a = b 0 if a < b .

0.4502
( x 2 p ) = { 1 if p x 0 if p x .

0.4486
μ ( A ) = { 1 if 0 A 0 if 0 A .

0.4410
lim x 0 - 1 x r = { - , if r is odd + , if r is even

0.4409
G n + 1 = { 1 if n odd coth 2 ( β 4 ) if n even

0.4403
φ ( 2 m ) = { 2 φ ( m ) if m is even φ ( m ) if m is odd

0.4395
t n = { 2 P n 2 if n is even ; H n 2 if n is odd.

0.4357
f ( x ) = { 2 | x | , if x 0 2 x - 1 , if x > 0.

0.4335
( n k ) = { n k ¯ / k ! if k n 2 n n - k ¯ / ( n - k ) ! if k > n 2 .

0.4327
μ ( A ) = { | A | if A is finite + if A is infinite

0.4327
f ( x ) = { 1 , if x is rational 0 , if x is irrational

0.4308
( C i , j I I ) p = { 0 if j < p C i , j if j p

0.4298
( C i , j I ) p = { 0 if i < p C i , j if i p

0.4294
f ( x ) = { x if x > 0 0.01 x otherwise

0.4291
| x | p = { p - ν p ( x ) if x 0 0 if x = 0

0.4266
H ( t ) = { 0 , if t 0 ; 1 , if t > 0.

0.4255
x + α = { x α if x > 0 0 otherwise

0.4253
a = { a + ϵ , if a = 0 a , if a > 0

0.4250
u G v = { 1 , if u v 0 , if u > v

0.4245
B 2 k = { c 0 , if k = 0 , c k / k , if k > 0 ,

0.4244
x + n = { x n : x > 0 0 : x 0.

0.4244
f ( x ) = { 1 if x > 0 0 otherwise

0.4239
( a - 1 ) = { - 1 if a < 0 , 1 if a 0.

0.4235
ρ ( x , y ) = { 1 if x y , 0 if x = y

0.4234
| x | = { x , if x 0 - x , if x < 0.

0.4231
χ A ( x ) = { 0 , if x A 1 , if x A

0.4226
F ( x ) = { 1 , if x S 0 , if x S
h ( k ) = { 1 , if k 0 0 , if k < 0
ε ( n ) = { 1 , if n = 1 0 , if n > 1
ε ( n ) = { 1 , if n = 1 0 , if n 1

0.4225
| x | = { - x , if x < 0 x , if x 0

0.4222
¬ G u = { 1 , if u = 0 0 , if u > 0

0.4215
d | n μ ( d ) = { 1 if n = 1 0 if n > 1.

0.4207
f ( x ) = { x if x 0 , 0 if x < 0

0.4203
γ = { 1 if p 0 1 / 2 if p = 0

0.4203
δ i j = { 1 , if i = j 0 , if i j

0.4192
f ( f ( x ) ) = { 1 if x 0 0 if x = 0

0.4192
C = { C 0 if | ξ | < 1 C 0 ξ 2 if | ξ | > 1.

0.4192
δ i = { 0 , if i 0 1 , if i = 0

0.4192
𝐇 n = { n if n < ω 2 if n = ω

0.4187
( s a ) / b = { s if a = b ε if a b

0.4171
μ t = { μ t inner if y y crossover μ t outer if y > y crossover

0.4169
ϵ ( X n ) = { 1 if n = 0 0 if n > 0

0.4169
n ( x 3 ) = { n A if x 3 < 0 n B if x 3 > 0

0.4157
η q ( n ) = { 0 if q n q if q n

0.4156
( ξ ) + = { ξ , if ξ > 0 0 , otherwise .

0.4150
F ( x ) = { 0 if x < μ 1 if x μ
H ( x ) = { 1 if x 0 0 if x < 0.
V ( h ) = { 0 if h σ if h < σ
f ( x ) = { 1 if x S undefined/does not halt if x S
ϕ ( x ) = { 1 if x R 0 if x A

0.4143
x + = { x : x > 0 0 : x 0.

0.4102
P j ( d j ) = { 0 if d j 0 1 if d j > 0

0.4096
y = { 1 if u θ 0 if u < θ

0.4096
δ s i ( X ) = { 1 if s i X 0 if s i X
δ x 0 ( A ) = { 1 if x 0 A 0 if x 0 A

0.4094
S ( r ) = { S 0 , if r R 0 , if r > R ( 8 )

0.4077
Y = { X if | X | c - X if | X | > c

0.4076
F ( x ) = { 1 if x λ 0 if x > λ
K ( x ) = { 1 if x λ 0 if x > λ

0.4073
θ N ( x ) = { 0 if x N / 2 , 1 if x > N / 2.

0.4073
𝟏 A ( x ) = { 1 if x A , 0 if x A .
𝟏 A ( ω ) = { 1 if ω A , 0 if ω A ,
χ A ( x ) = { 1 if x A , 0 if x A .
0.4057
f ( x ) = { 1 if x > a i 0 otherwise.

0.4036
δ i j = { 0 if i j , 1 if i = j .

0.4028
δ b a = { 1 if a = b , 0 if a b .

0.4014
Y 1 = { 1 if Y 1 * > 0 , 0 otherwise ,
Y 2 = { 1 if Y 2 * > 0 , 0 otherwise ,

0.3953
y = { 1 if x i 0 0 if x i < 0

0.3902
Π ( t ) = def { 1 if | t | < 1 2 , 0 if | t | > 1 2 .

0.3833
δ x ( U ) = { 0 if x U 1 if x U U 𝒯

0.3722
[ P ] = { 1 if P is true; 0 otherwise.

0.3715
I = { 1 if Y 1 / 3 , 0 otherwise ,

0.2890
f ( x ) = { 1 , if | x | < 1 2 , 0 , otherwise .