DOES NOT SUCCEED OR EQUAL
COMPLEMENT
EMPTY SET
DOES NOT CONTAIN AS MEMBER
END OF PROOF
MINUS-OR-PLUS SIGN
DIVISION SLASH
SET MINUS
ASTERISK OPERATOR
SQUARE ROOT
FOURTH ROOT
RIGHT ANGLE
SPHERICAL ANGLE
DIVIDES
NOT PARALLEL TO
LOGICAL AND
INTERSECTION
CONTOUR INTEGRAL
EXCESS
WREATH PRODUCT
ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
TRIPLE TILDE
APPROACHES THE LIMIT
QUESTIONED EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
BETWEEN
NEITHER LESS-THAN NOR EQUAL TO
GREATER-THAN OR EQUIVALENT TO
LESS-THAN OR GREATER-THAN
GREATER-THAN OR LESS-THAN
PRECEDES
SUCCEEDS
SUCCEEDS OR EQUAL TO
PRECEDES OR EQUIVALENT TO
DOES NOT PRECEDE
SUPERSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
SQUARE IMAGE OF
SQUARE ORIGINAL OF
CIRCLED TIMES
SQUARED PLUS
SQUARED MINUS
SQUARED TIMES
SQUARED DOT OPERATOR
ASSERTION
MODELS
FORCES
NOT TRUE
DOES NOT FORCE
SUCCEEDS UNDER RELATION
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
XOR
NOR
RIGHT ANGLE WITH ARC
RIGHT TRIANGLE
N-ARY LOGICAL AND
DIVISION TIMES
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
DOUBLE SUBSET
DOUBLE SUPERSET
DOUBLE INTERSECTION
PITCHFORK
EQUAL TO OR LESS-THAN
MIDLINE HORIZONTAL ELLIPSIS
DOWN RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP