SUCCEEDS
FOR ALL
NOT AN ELEMENT OF
DIVISION SLASH
PROPORTIONAL TO
DOES NOT DIVIDE
LOGICAL OR
INTERSECTION
UNION
DOUBLE INTEGRAL
CONTOUR INTEGRAL
SURFACE INTEGRAL
CLOCKWISE CONTOUR INTEGRAL
RATIO
HOMOTHETIC
REVERSED TILDE
WREATH PRODUCT
NOT TILDE
MINUS TILDE
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
NOT ALMOST EQUAL TO
EQUIVALENT TO
GEOMETRICALLY EQUIVALENT TO
APPROACHES THE LIMIT
GEOMETRICALLY EQUAL TO
RING EQUAL TO
DELTA EQUAL TO
NOT EQUAL TO
LESS-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
BETWEEN
NOT LESS-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
GREATER-THAN OR EQUIVALENT TO
SUCCEEDS OR EQUAL TO
SUPERSET OF
SUBSET OF OR EQUAL TO
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
MULTISET MULTIPLICATION
SQUARE CAP
SQUARE CUP
CIRCLED MINUS
CIRCLED TIMES
CIRCLED DIVISION SLASH
CIRCLED ASTERISK OPERATOR
SQUARED DOT OPERATOR
RIGHT TACK
LEFT TACK
ASSERTION
MODELS
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
DOES NOT PROVE
NOT TRUE
DOES NOT FORCE
NORMAL SUBGROUP OF
XOR
NOR
N-ARY LOGICAL AND
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
CURLY LOGICAL OR
DOUBLE INTERSECTION
VERY MUCH GREATER-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR PRECEDES
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
PRECEDES BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF OR EQUAL TO
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP