NOT SQUARE IMAGE OF OR EQUAL TO
THERE EXISTS
THERE DOES NOT EXIST
DOES NOT CONTAIN AS MEMBER
END OF PROOF
MINUS SIGN
DIVISION SLASH
ASTERISK OPERATOR
INFINITY
ANGLE
DOES NOT DIVIDE
UNION
VOLUME INTEGRAL
CLOCKWISE INTEGRAL
BECAUSE
TILDE OPERATOR
REVERSED TILDE
NOT TILDE
MINUS TILDE
ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
ALMOST EQUAL TO
NOT ALMOST EQUAL TO
EQUIVALENT TO
GEOMETRICALLY EQUIVALENT TO
DIFFERENCE BETWEEN
COLON EQUALS
RING EQUAL TO
STAR EQUALS
IDENTICAL TO
GREATER-THAN OR EQUAL TO
LESS-THAN OVER EQUAL TO
NOT EQUIVALENT TO
NOT LESS-THAN
NOT GREATER-THAN
NEITHER LESS-THAN NOR EQUIVALENT TO
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUAL TO
PRECEDES OR EQUIVALENT TO
SUCCEEDS OR EQUIVALENT TO
DOES NOT SUCCEED
SUPERSET OF
SUPERSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
MULTISET UNION
CIRCLED TIMES
CIRCLED DIVISION SLASH
SQUARED TIMES
SQUARED DOT OPERATOR
LEFT TACK
TRUE
FORCES
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
INTERCALATE
NOR
N-ARY UNION
DOT OPERATOR
STAR OPERATOR
BOWTIE
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
LEFT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
CURLY LOGICAL OR
DOUBLE SUBSET
DOUBLE SUPERSET
PITCHFORK
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
EQUAL TO OR GREATER-THAN
DOES NOT CONTAIN AS NORMAL SUBGROUP
NOT NORMAL SUBGROUP OF OR EQUAL TO
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP