SMALL CONTAINS AS MEMBER
INCREMENT
END OF PROOF
MINUS SIGN
DIVISION SLASH
RING OPERATOR
BULLET OPERATOR
PROPORTIONAL TO
INFINITY
RIGHT ANGLE
ANGLE
SPHERICAL ANGLE
PARALLEL TO
LOGICAL OR
TRIPLE INTEGRAL
CONTOUR INTEGRAL
SURFACE INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
DOT MINUS
EXCESS
GEOMETRIC PROPORTION
TILDE OPERATOR
REVERSED TILDE
WREATH PRODUCT
NOT TILDE
ASYMPTOTICALLY EQUAL TO
NOT ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
GEOMETRICALLY EQUIVALENT TO
APPROACHES THE LIMIT
GEOMETRICALLY EQUAL TO
COLON EQUALS
EQUALS COLON
NOT IDENTICAL TO
LESS-THAN OR EQUAL TO
GREATER-THAN OR EQUAL TO
GREATER-THAN OVER EQUAL TO
NEITHER LESS-THAN NOR EQUAL TO
PRECEDES OR EQUAL TO
DOES NOT PRECEDE
DOES NOT SUCCEED
SUPERSET OF
NOT A SUBSET OF
NOT A SUPERSET OF
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
MULTISET UNION
SQUARE CUP
CIRCLED DASH
MODELS
TRUE
TRIPLE VERTICAL BAR RIGHT TURNSTILE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NORMAL SUBGROUP OF
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
MULTIMAP
HERMITIAN CONJUGATE MATRIX
INTERCALATE
XOR
RIGHT TRIANGLE
N-ARY INTERSECTION
N-ARY UNION
DIAMOND OPERATOR
STAR OPERATOR
LEFT SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
CURLY LOGICAL AND
GREATER-THAN WITH DOT
DOES NOT SUCCEED OR EQUAL
PRECEDES BUT NOT EQUIVALENT TO
SUCCEEDS BUT NOT EQUIVALENT TO
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH TWO HORIZONTAL STROKES
Z NOTATION BAG MEMBERSHIP