SMALL CONTAINS WITH OVERBAR
EMPTY SET
NABLA
ELEMENT OF
SMALL ELEMENT OF
N-ARY PRODUCT
DOT PLUS
DIVISION SLASH
FOURTH ROOT
RIGHT ANGLE
UNION
SURFACE INTEGRAL
VOLUME INTEGRAL
CLOCKWISE INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
THEREFORE
HOMOTHETIC
REVERSED TILDE
MINUS TILDE
NOT ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
NOT ALMOST EQUAL TO
ALL EQUAL TO
APPROACHES THE LIMIT
APPROXIMATELY EQUAL TO OR THE IMAGE OF
EQUIANGULAR TO
STAR EQUALS
EQUAL TO BY DEFINITION
MEASURED BY
NOT EQUAL TO
IDENTICAL TO
NOT IDENTICAL TO
LESS-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
NOT GREATER-THAN
GREATER-THAN OR EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
PRECEDES
SUCCEEDS OR EQUAL TO
DOES NOT SUCCEED
NOT A SUPERSET OF
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET UNION
CIRCLED PLUS
CIRCLED TIMES
CIRCLED ASTERISK OPERATOR
CIRCLED EQUALS
SQUARED PLUS
SQUARED MINUS
SQUARED TIMES
ASSERTION
MODELS
TRUE
FORCES
DOES NOT PROVE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
N-ARY LOGICAL OR
STAR OPERATOR
DIVISION TIMES
LEFT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE INTERSECTION
LESS-THAN WITH DOT
LESS-THAN EQUAL TO OR GREATER-THAN
DOES NOT PRECEDE OR EQUAL
NOT SQUARE ORIGINAL OF OR EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
GREATER-THAN BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP
VERTICAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH UNDERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
Z NOTATION BAG MEMBERSHIP