Some of them may be really easy, but just bear with them!
| Symbol in HTML | Symbol in TEX | Name | Explanation | Examples |
|---|---|---|---|---|
| Read as | ||||
| Category | ||||
![]() | is equal to; equals everywhere | means and represent the same thing or value. | ![]() ![]() | |
![]() | is not equal to; does not equal everywhere | means that and do not represent the same thing or value.(The forms !=, /= or <> are generally used in programming languages where ease of typing and use of ASCII text is preferred.) | ![]() | |
![]() ![]() | is less than, is greater than | means is less than . means is greater than . | ![]() ![]() | |
is a proper subgroup of | means is a proper subgroup of . | ![]() ![]() | ||
![]() ![]() | (very) strict inequality is much less than, is much greater than | x ≪ y means x is much less than y. x ≫ y means x is much greater than y. | 0.003 ≪ 1000000 | |
asymptotic comparison is of smaller order than, is of greater order than | f ≪ g means the growth of f is asymptotically bounded by g. (This is I. M. Vinogradov's notation. Another notation is the Big O notation, which looks like f = O(g).) | x ≪ ex | ||
![]() ![]() | is less than or equal to, is greater than or equal to | x ≤ y means x is less than or equal to y. x ≥ y means x is greater than or equal to y. (The forms <= and >= are generally used in programming languages, where ease of typing and use of ASCII text is preferred.) | 3 ≤ 4 and 5 ≤ 5 5 ≥ 4 and 5 ≥ 5 | |
is a subgroup of | H ≤ G means H is a subgroup of G. | Z ≤ Z A3 ≤ S3 | ||
is reducible to | A ≤ B means the problem A can be reduced to the problem B. Subscripts can be added to the ≤ to indicate what kind of reduction. | If then | ||
≦ ≧ | ![]() ![]() | ...is less than ... is greater than... | 7k ≡ 28 (mod 2) is only true if k is an even integer. Assume that the problem requires k to be non-negative; the domain is defined as 0 ≦ k ≦ ∞. | 10a ≡ 5 (mod 5) for 1 ≦ a ≦ 10 |
... is less than or equal... is greater than or equal... | x ≦ y means that each component of vector x is less than or equal to each corresponding component of vector y. x ≧ y means that each component of vector x is greater than or equal to each corresponding component of vector y. It is important to note that x ≦ y remains true if every element is equal. However, if the operator is changed, x ≤ y is true if and only if x ≠ y is also true. | |||
≺ | ![]() | is Karp reducible to; is polynomial-time many-one reducible to | L1 ≺ L2 means that the problem L1 is Karp reducible to L2.[1] | If L1 ≺ L2 and L2 ∈ P, then L1 ∈ P. |
![]() | is proportional to; varies as everywhere | y ∝ x means that y = kx for some constant k. | if y = 2x, then y ∝ x. | |
is Karp reducible to; is polynomial-time many-one reducible to | A ∝ B means the problem A can be polynomially reduced to the problem B. | If L1 ∝ L2 and L2 ∈ P, then L1 ∈ P. | ||

means
and
represent the same thing or value.


means that 


means
means 

means
is a proper subgroup of
.











No comments:
Post a Comment