- 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}
