MUCH LESS-THAN
FOR ALL
COMPLEMENT
PARTIAL DIFFERENTIAL
THERE EXISTS
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
MINUS-OR-PLUS SIGN
DIVISION SLASH
SET MINUS
SQUARE ROOT
FOURTH ROOT
PROPORTIONAL TO
RIGHT ANGLE
MEASURED ANGLE
LOGICAL OR
GEOMETRIC PROPORTION
HOMOTHETIC
TILDE OPERATOR
INVERTED LAZY S
WREATH PRODUCT
NOT ALMOST EQUAL TO
ALMOST EQUAL OR EQUAL TO
ALL EQUAL TO
EQUIVALENT TO
DIFFERENCE BETWEEN
IMAGE OF OR APPROXIMATELY EQUAL TO
RING EQUAL TO
STAR EQUALS
NOT IDENTICAL TO
GREATER-THAN BUT NOT EQUAL TO
NOT EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES
SUCCEEDS
DOES NOT SUCCEED
NOT A SUBSET OF
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SQUARE CAP
CIRCLED TIMES
CIRCLED DOT OPERATOR
CIRCLED EQUALS
SQUARED TIMES
LEFT TACK
ASSERTION
FORCES
DOES NOT PROVE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NORMAL SUBGROUP OF
NORMAL SUBGROUP OF OR EQUAL TO
ORIGINAL OF
N-ARY LOGICAL AND
N-ARY LOGICAL OR
DIAMOND OPERATOR
DIVISION TIMES
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
DOUBLE INTERSECTION
DOUBLE UNION
EQUAL AND PARALLEL TO
GREATER-THAN WITH DOT
EQUAL TO OR LESS-THAN
EQUAL TO OR PRECEDES
NOT SQUARE IMAGE OF OR EQUAL TO
SQUARE IMAGE OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
PRECEDES BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
NOT NORMAL SUBGROUP OF OR EQUAL TO
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
VERTICAL ELLIPSIS
ELEMENT OF WITH OVERBAR
SMALL ELEMENT OF WITH OVERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
Z NOTATION BAG MEMBERSHIP