SQUARE ORIGINAL OF OR EQUAL TO
COMPLEMENT
THERE EXISTS
INCREMENT
ELEMENT OF
SMALL ELEMENT OF
SMALL CONTAINS AS MEMBER
END OF PROOF
DIVISION SLASH
ASTERISK OPERATOR
FOURTH ROOT
PROPORTIONAL TO
DOES NOT DIVIDE
LOGICAL AND
TRIPLE INTEGRAL
CONTOUR INTEGRAL
SURFACE INTEGRAL
CLOCKWISE INTEGRAL
THEREFORE
BECAUSE
DOT MINUS
GEOMETRIC PROPORTION
NOT ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
RING IN EQUAL TO
CORRESPONDS TO
ESTIMATES
STRICTLY EQUIVALENT TO
MUCH LESS-THAN
NOT GREATER-THAN
LESS-THAN OR EQUIVALENT TO
GREATER-THAN OR EQUIVALENT TO
NEITHER LESS-THAN NOR EQUIVALENT TO
NEITHER GREATER-THAN NOR LESS-THAN
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET
SQUARE IMAGE OF
SQUARE CUP
CIRCLED ASTERISK OPERATOR
SQUARED PLUS
SQUARED MINUS
RIGHT TACK
LEFT TACK
UP TACK
ASSERTION
TRUE
FORCES
DOES NOT PROVE
ORIGINAL OF
MULTIMAP
HERMITIAN CONJUGATE MATRIX
XOR
NAND
RIGHT ANGLE WITH ARC
STAR OPERATOR
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
CURLY LOGICAL AND
DOUBLE UNION
EQUAL AND PARALLEL TO
GREATER-THAN WITH DOT
EQUAL TO OR LESS-THAN
SQUARE IMAGE OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
GREATER-THAN BUT NOT EQUIVALENT TO
PRECEDES BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
MIDLINE HORIZONTAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP