- Arc
Concave Upward |
|
Concave Downward |
|
- Equivalence (is equivalent to):
- Identity (is identical to, is congruent to):
This symbol must not be used for is congruent to if another sign is used for this purpose in print.
- Inclusion (is contained in, is a subset of):
- Membership (is an element of, belongs to):
This symbol is generally used for sets and their elements. It must not be mistaken for the Greek uncapitalized epsilon even though it may be referred to as such.
- Parallel To (is parallel to): ||
- AB || CD
- Perpendicular To (is perpendicular to):
- Relation (is related to):
R
When an R or any other letter or sign is used between two expressions to show relation, the letter or other symbol must be treated as a sign of comparison.
- a R b
- Reverse Inclusion (contains;in logic, implies):
- Reverse Membership (contains the element):
- Tilde
Simple (is related to, is similar to): |
|
|
Extended (is related to): |
|
|
The tilde may be used as a sign of operation or as a sign of comparison.
- Variation (varies as):
- Vertical Bar (such that):
|
The vertical bar may be used as a sign of grouping, as a sign of operation or as a sign of comparison. When used as a sign of comparison, it usually occurs in an expression within braces used for set notation. However, it may also appear in other situations.
- {x | x has the property T}
- {w | w = w + 1}
- {m | 3 (m - 6) = -9}
- {(x,y) | x + y = 6}