FORCES
COMPLEMENT
SMALL ELEMENT OF
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY SUMMATION
SET MINUS
ASTERISK OPERATOR
RING OPERATOR
PROPORTIONAL TO
RIGHT ANGLE
ANGLE
UNION
ANTICLOCKWISE CONTOUR INTEGRAL
BECAUSE
INVERTED LAZY S
WREATH PRODUCT
NOT TILDE
MINUS TILDE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
ALL EQUAL TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
APPROXIMATELY EQUAL TO OR THE IMAGE OF
IMAGE OF OR APPROXIMATELY EQUAL TO
COLON EQUALS
DELTA EQUAL TO
QUESTIONED EQUAL TO
GREATER-THAN OR EQUAL TO
LESS-THAN BUT NOT EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
BETWEEN
NOT EQUIVALENT TO
NOT GREATER-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
LESS-THAN OR EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
NEITHER GREATER-THAN NOR LESS-THAN
SUCCEEDS OR EQUAL TO
PRECEDES OR EQUIVALENT TO
SUBSET OF
SUPERSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
MULTISET UNION
SQUARE IMAGE OF OR EQUAL TO
SQUARE ORIGINAL OF OR EQUAL TO
CIRCLED MINUS
CIRCLED ASTERISK OPERATOR
CIRCLED EQUALS
ASSERTION
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
PRECEDES UNDER RELATION
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
ORIGINAL OF
N-ARY LOGICAL OR
STAR OPERATOR
CURLY LOGICAL OR
DOUBLE UNION
PITCHFORK
EQUAL AND PARALLEL TO
VERY MUCH GREATER-THAN
EQUAL TO OR LESS-THAN
EQUAL TO OR PRECEDES
NOT SQUARE ORIGINAL OF OR EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
SUCCEEDS BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
NOT NORMAL SUBGROUP OF OR EQUAL TO
VERTICAL ELLIPSIS
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH DOT ABOVE
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE