THERE EXISTS
COMPLEMENT
NOT AN ELEMENT OF
N-ARY COPRODUCT
N-ARY SUMMATION
MINUS SIGN
DOT PLUS
DIVISION SLASH
ASTERISK OPERATOR
SQUARE ROOT
INFINITY
MEASURED ANGLE
LOGICAL OR
RATIO
HOMOTHETIC
REVERSED TILDE
WREATH PRODUCT
MINUS TILDE
ASYMPTOTICALLY EQUAL TO
TRIPLE TILDE
APPROACHES THE LIMIT
IMAGE OF OR APPROXIMATELY EQUAL TO
EQUALS COLON
EQUIANGULAR TO
EQUAL TO BY DEFINITION
NOT IDENTICAL TO
LESS-THAN OVER EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
LESS-THAN OR EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
NEITHER LESS-THAN NOR GREATER-THAN
SUCCEEDS
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUIVALENT TO
DOES NOT PRECEDE
SUBSET OF
NEITHER A SUBSET OF NOR EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CAP
CIRCLED PLUS
CIRCLED DIVISION SLASH
CIRCLED DOT OPERATOR
CIRCLED RING OPERATOR
SQUARED PLUS
SQUARED MINUS
SQUARED DOT OPERATOR
TRUE
FORCES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
DOES NOT PROVE
DOES NOT FORCE
NORMAL SUBGROUP OF
XOR
NOR
N-ARY LOGICAL OR
BOWTIE
CURLY LOGICAL OR
CURLY LOGICAL AND
DOUBLE SUBSET
DOUBLE UNION
PITCHFORK
GREATER-THAN WITH DOT
VERY MUCH GREATER-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR LESS-THAN
DOES NOT SUCCEED OR EQUAL
SQUARE ORIGINAL OF OR NOT EQUAL TO
LESS-THAN 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
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP