CONTAINS AS NORMAL SUBGROUP
FOR ALL
THERE EXISTS
EMPTY SET
CONTAINS AS MEMBER
END OF PROOF
N-ARY SUMMATION
MINUS SIGN
SET MINUS
ASTERISK OPERATOR
RING OPERATOR
FOURTH ROOT
PROPORTIONAL TO
ANGLE
DOES NOT DIVIDE
LOGICAL OR
PROPORTION
SINE WAVE
MINUS TILDE
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
ALMOST EQUAL TO
GEOMETRICALLY EQUIVALENT TO
CORRESPONDS TO
ESTIMATES
STAR EQUALS
DELTA EQUAL TO
EQUAL TO BY DEFINITION
NOT IDENTICAL TO
NEITHER LESS-THAN NOR EQUAL TO
GREATER-THAN OR LESS-THAN
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES
SUCCEEDS OR EQUAL TO
DOES NOT PRECEDE
NEITHER A SUBSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
SQUARE ORIGINAL OF
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CUP
CIRCLED MINUS
SQUARED TIMES
LEFT TACK
DOWN TACK
ASSERTION
FORCES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOES NOT FORCE
PRECEDES UNDER RELATION
SUCCEEDS UNDER RELATION
NORMAL SUBGROUP OF
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
ORIGINAL OF
INTERCALATE
RIGHT TRIANGLE
N-ARY LOGICAL OR
STAR OPERATOR
DIVISION TIMES
BOWTIE
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
LEFT SEMIDIRECT PRODUCT
DOUBLE SUPERSET
LESS-THAN WITH DOT
GREATER-THAN WITH DOT
VERY MUCH LESS-THAN
SQUARE IMAGE OF OR NOT EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH UNDERBAR
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP