DELTA EQUAL TO
THERE EXISTS
THERE DOES NOT EXIST
INCREMENT
ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
DOT PLUS
SQUARE ROOT
INFINITY
RIGHT ANGLE
ANGLE
NOT PARALLEL TO
LOGICAL OR
CLOCKWISE INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
THEREFORE
INVERTED LAZY S
NOT TILDE
APPROXIMATELY EQUAL TO
NOT ALMOST EQUAL TO
GEOMETRICALLY EQUIVALENT TO
DIFFERENCE BETWEEN
COLON EQUALS
RING EQUAL TO
CORRESPONDS TO
STAR EQUALS
QUESTIONED EQUAL TO
IDENTICAL TO
STRICTLY EQUIVALENT TO
GREATER-THAN OR EQUAL TO
BETWEEN
NOT EQUIVALENT TO
NOT GREATER-THAN
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
PRECEDES OR EQUIVALENT TO
DOES NOT PRECEDE
SUBSET OF
SUPERSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
MULTISET
SQUARE ORIGINAL OF
SQUARE CAP
CIRCLED MINUS
CIRCLED TIMES
SQUARED PLUS
SQUARED MINUS
ASSERTION
TRUE
FORCES
DOES NOT PROVE
NORMAL SUBGROUP OF
CONTAINS AS NORMAL SUBGROUP
IMAGE OF
NAND
N-ARY LOGICAL OR
STAR OPERATOR
BOWTIE
DOUBLE SUPERSET
LESS-THAN EQUAL TO OR GREATER-THAN
EQUAL TO OR SUCCEEDS
DOES NOT PRECEDE OR EQUAL
SQUARE IMAGE OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
GREATER-THAN BUT NOT EQUIVALENT TO
VERTICAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
DOWN RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH UNDERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH LONG HORIZONTAL STROKE
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP