SQUARE CUP
FOR ALL
THERE EXISTS
SMALL ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
MINUS-OR-PLUS SIGN
SET MINUS
ASTERISK OPERATOR
BULLET OPERATOR
SQUARE ROOT
PROPORTIONAL TO
RIGHT ANGLE
SPHERICAL ANGLE
SURFACE INTEGRAL
VOLUME INTEGRAL
CLOCKWISE CONTOUR INTEGRAL
THEREFORE
BECAUSE
GEOMETRIC PROPORTION
WREATH PRODUCT
ASYMPTOTICALLY EQUAL TO
NOT ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
ALMOST EQUAL TO
NOT ALMOST EQUAL TO
DIFFERENCE BETWEEN
GEOMETRICALLY EQUAL TO
EQUALS COLON
EQUIANGULAR TO
STAR EQUALS
MEASURED BY
QUESTIONED EQUAL TO
NOT EQUAL TO
LESS-THAN OVER EQUAL TO
MUCH LESS-THAN
NOT EQUIVALENT TO
LESS-THAN OR GREATER-THAN
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES OR EQUIVALENT TO
SUBSET OF
NOT A SUBSET OF
MULTISET
MULTISET UNION
SQUARE ORIGINAL OF
SQUARE IMAGE OF OR EQUAL TO
SQUARE CAP
CIRCLED DIVISION SLASH
CIRCLED DOT OPERATOR
SQUARED MINUS
DOWN TACK
UP TACK
ASSERTION
NOT TRUE
DOES NOT FORCE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
CONTAINS AS NORMAL SUBGROUP
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
XOR
DIAMOND OPERATOR
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
CURLY LOGICAL AND
DOUBLE SUPERSET
GREATER-THAN WITH DOT
VERY MUCH LESS-THAN
EQUAL TO OR PRECEDES
SQUARE ORIGINAL OF OR NOT EQUAL TO
DOES NOT CONTAIN AS NORMAL SUBGROUP
MIDLINE HORIZONTAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
DOWN RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH OVERBAR
ELEMENT OF WITH UNDERBAR
Z NOTATION BAG MEMBERSHIP