EMPTY SET
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
N-ARY SUMMATION
MINUS SIGN
MINUS-OR-PLUS SIGN
DIVISION SLASH
SET MINUS
ASTERISK OPERATOR
RING OPERATOR
SQUARE ROOT
CUBE ROOT
RIGHT ANGLE
MEASURED ANGLE
DOUBLE INTEGRAL
CONTOUR INTEGRAL
BECAUSE
GEOMETRIC PROPORTION
HOMOTHETIC
TILDE OPERATOR
NOT TILDE
ALMOST EQUAL TO
NOT ALMOST EQUAL TO
DELTA EQUAL TO
MEASURED BY
NOT EQUAL TO
LESS-THAN OR EQUAL TO
LESS-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
BETWEEN
NOT EQUIVALENT TO
NOT GREATER-THAN
NEITHER LESS-THAN NOR EQUAL TO
PRECEDES
SUCCEEDS
PRECEDES OR EQUAL TO
SUBSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
MULTISET MULTIPLICATION
MULTISET UNION
SQUARE CAP
CIRCLED PLUS
CIRCLED TIMES
CIRCLED RING OPERATOR
SQUARED MINUS
ASSERTION
TRUE
DOES NOT PROVE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
PRECEDES UNDER RELATION
SUCCEEDS UNDER RELATION
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
HERMITIAN CONJUGATE MATRIX
NAND
NOR
N-ARY INTERSECTION
DIAMOND OPERATOR
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE SUPERSET
LESS-THAN WITH DOT
GREATER-THAN EQUAL TO OR LESS-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
NOT NORMAL SUBGROUP OF OR EQUAL TO
ELEMENT OF WITH LONG HORIZONTAL STROKE
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP