NEITHER A SUBSET OF NOR EQUAL TO
THERE DOES NOT EXIST
EMPTY SET
NOT AN ELEMENT OF
SMALL CONTAINS AS MEMBER
END OF PROOF
MINUS SIGN
MINUS-OR-PLUS SIGN
DIVISION SLASH
SET MINUS
CUBE ROOT
SPHERICAL ANGLE
NOT PARALLEL TO
LOGICAL AND
CONTOUR INTEGRAL
EXCESS
GEOMETRIC PROPORTION
HOMOTHETIC
SINE WAVE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
EQUIVALENT TO
COLON EQUALS
RING IN EQUAL TO
RING EQUAL TO
EQUIANGULAR TO
STAR EQUALS
LESS-THAN OR EQUAL TO
LESS-THAN BUT NOT EQUAL TO
MUCH LESS-THAN
MUCH GREATER-THAN
BETWEEN
NOT LESS-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES
PRECEDES OR EQUIVALENT TO
SUBSET OF
SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
MULTISET
MULTISET MULTIPLICATION
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CAP
SQUARE CUP
CIRCLED PLUS
CIRCLED MINUS
CIRCLED DOT OPERATOR
CIRCLED ASTERISK OPERATOR
SQUARED PLUS
SQUARED MINUS
DOWN TACK
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
SUCCEEDS UNDER RELATION
CONTAINS AS NORMAL SUBGROUP
MULTIMAP
NAND
N-ARY LOGICAL AND
DIAMOND OPERATOR
DIVISION TIMES
BOWTIE
CURLY LOGICAL OR
DOUBLE SUBSET
DOUBLE UNION
LESS-THAN EQUAL TO OR GREATER-THAN
DOES NOT SUCCEED OR EQUAL
NOT SQUARE ORIGINAL OF OR EQUAL TO
GREATER-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
NOT NORMAL SUBGROUP OF OR EQUAL TO
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH UNDERBAR
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP