RING OPERATOR
FOR ALL
COMPLEMENT
INCREMENT
ELEMENT OF
NOT AN ELEMENT OF
SMALL ELEMENT OF
CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
N-ARY COPRODUCT
DOT PLUS
SQUARE ROOT
CUBE ROOT
PROPORTIONAL TO
ANGLE
PARALLEL TO
INTERSECTION
DOUBLE INTEGRAL
RATIO
HOMOTHETIC
TILDE OPERATOR
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
GEOMETRICALLY EQUIVALENT TO
GEOMETRICALLY EQUAL TO
COLON EQUALS
ESTIMATES
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
NOT LESS-THAN
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER LESS-THAN NOR EQUIVALENT TO
SUCCEEDS
SUCCEEDS OR EQUAL TO
SUCCEEDS OR EQUIVALENT TO
DOES NOT PRECEDE
SUBSET OF
NOT A SUBSET OF
SUBSET OF OR EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET UNION
CIRCLED ASTERISK OPERATOR
SQUARED TIMES
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
PRECEDES UNDER RELATION
NORMAL SUBGROUP OF OR EQUAL TO
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
IMAGE OF
XOR
NAND
NOR
N-ARY LOGICAL AND
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
CURLY LOGICAL OR
DOUBLE UNION
PITCHFORK
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
VERY MUCH GREATER-THAN
LESS-THAN EQUAL TO OR GREATER-THAN
EQUAL TO OR PRECEDES
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
NOT SQUARE IMAGE OF OR EQUAL TO
SQUARE IMAGE OF OR NOT EQUAL TO
GREATER-THAN BUT NOT EQUIVALENT TO
PRECEDES BUT NOT EQUIVALENT TO
SUCCEEDS BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
VERTICAL ELLIPSIS
ELEMENT OF WITH OVERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP