GREATER-THAN WITH DOT
NABLA
SMALL ELEMENT OF
CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
N-ARY COPRODUCT
MINUS SIGN
DIVISION SLASH
BULLET OPERATOR
SQUARE ROOT
CUBE ROOT
FOURTH ROOT
RIGHT ANGLE
ANGLE
DOES NOT DIVIDE
NOT PARALLEL TO
LOGICAL OR
UNION
ANTICLOCKWISE CONTOUR INTEGRAL
BECAUSE
PROPORTION
EXCESS
HOMOTHETIC
TILDE OPERATOR
INVERTED LAZY S
NOT TILDE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
EQUIVALENT TO
APPROACHES THE LIMIT
GEOMETRICALLY EQUAL TO
COLON EQUALS
RING IN EQUAL TO
ESTIMATES
STAR EQUALS
DELTA EQUAL TO
QUESTIONED EQUAL TO
IDENTICAL TO
LESS-THAN OVER EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH LESS-THAN
NOT LESS-THAN
GREATER-THAN OR EQUIVALENT TO
NEITHER LESS-THAN NOR GREATER-THAN
SUCCEEDS
NEITHER A SUPERSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
CIRCLED MINUS
LEFT TACK
UP TACK
MODELS
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
ORIGINAL OF
NOR
RIGHT TRIANGLE
N-ARY LOGICAL AND
N-ARY LOGICAL OR
STAR OPERATOR
CURLY LOGICAL OR
CURLY LOGICAL AND
DOUBLE UNION
PITCHFORK
EQUAL TO OR PRECEDES
EQUAL TO OR SUCCEEDS
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
NOT SQUARE ORIGINAL OF OR EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH TWO HORIZONTAL STROKES
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP