INCREMENT
FOR ALL
THERE DOES NOT EXIST
EMPTY SET
SMALL ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY COPRODUCT
MINUS SIGN
DOT PLUS
SET MINUS
ASTERISK OPERATOR
RING OPERATOR
CUBE ROOT
RIGHT ANGLE
ANGLE
DIVIDES
DOES NOT DIVIDE
PARALLEL TO
NOT PARALLEL TO
TRIPLE INTEGRAL
RATIO
PROPORTION
REVERSED TILDE
INVERTED LAZY S
NOT ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
TRIPLE TILDE
GEOMETRICALLY EQUAL TO
IMAGE OF OR APPROXIMATELY EQUAL TO
CORRESPONDS TO
NOT IDENTICAL TO
GREATER-THAN OR EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
BETWEEN
NOT LESS-THAN
NEITHER GREATER-THAN NOR EQUAL TO
LESS-THAN OR EQUIVALENT TO
GREATER-THAN OR EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUAL TO
SUCCEEDS OR EQUIVALENT TO
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET UNION
SQUARE ORIGINAL OF
SQUARE CUP
CIRCLED PLUS
CIRCLED TIMES
SQUARED MINUS
SQUARED TIMES
DOWN TACK
NOT TRUE
DOES NOT FORCE
XOR
NAND
DIAMOND OPERATOR
DOT OPERATOR
BOWTIE
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
DOUBLE INTERSECTION
DOUBLE UNION
EQUAL TO OR LESS-THAN
DOES NOT PRECEDE OR EQUAL
NOT SQUARE ORIGINAL OF OR EQUAL TO
ELEMENT OF WITH DOT ABOVE
SMALL ELEMENT OF WITH OVERBAR
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP