N-ARY LOGICAL AND
FOR ALL
EMPTY SET
ELEMENT OF
END OF PROOF
MINUS SIGN
MINUS-OR-PLUS SIGN
DOT PLUS
DIVISION SLASH
ASTERISK OPERATOR
PROPORTIONAL TO
INFINITY
RIGHT ANGLE
DIVIDES
DOES NOT DIVIDE
NOT PARALLEL TO
ANTICLOCKWISE CONTOUR INTEGRAL
DOT MINUS
HOMOTHETIC
APPROXIMATELY EQUAL TO
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
ALMOST EQUAL TO
ALMOST EQUAL OR EQUAL TO
EQUIVALENT TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
RING IN EQUAL TO
STAR EQUALS
MEASURED BY
QUESTIONED EQUAL TO
NOT EQUAL TO
STRICTLY EQUIVALENT TO
GREATER-THAN OR EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH LESS-THAN
NOT GREATER-THAN
PRECEDES
SUCCEEDS OR EQUAL TO
DOES NOT PRECEDE
NEITHER A SUBSET OF NOR EQUAL TO
MULTISET MULTIPLICATION
SQUARE ORIGINAL OF
SQUARE IMAGE OF OR EQUAL TO
SQUARE ORIGINAL OF OR EQUAL TO
CIRCLED EQUALS
SQUARED PLUS
DOWN TACK
UP TACK
ASSERTION
TRUE
FORCES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
MULTIMAP
XOR
NOR
N-ARY LOGICAL OR
N-ARY INTERSECTION
DIVISION TIMES
REVERSED TILDE EQUALS
CURLY LOGICAL OR
DOUBLE SUBSET
DOUBLE UNION
PITCHFORK
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
GREATER-THAN WITH DOT
VERY MUCH LESS-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
NOT SQUARE IMAGE OF OR EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
NOT NORMAL SUBGROUP OF OR EQUAL TO
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH UNDERBAR
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP