MINUS-OR-PLUS SIGN
FOR ALL
THERE EXISTS
THERE DOES NOT EXIST
EMPTY SET
N-ARY PRODUCT
DOT PLUS
ASTERISK OPERATOR
PROPORTIONAL TO
INFINITY
MEASURED ANGLE
LOGICAL OR
UNION
VOLUME INTEGRAL
CLOCKWISE CONTOUR INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
EXCESS
TILDE OPERATOR
REVERSED TILDE
MINUS TILDE
ALMOST EQUAL TO
NOT ALMOST EQUAL TO
TRIPLE TILDE
APPROXIMATELY EQUAL TO OR THE IMAGE OF
COLON EQUALS
EQUALS COLON
STAR EQUALS
DELTA EQUAL TO
EQUAL TO BY DEFINITION
IDENTICAL TO
LESS-THAN OR EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
SUCCEEDS OR EQUAL TO
SUBSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET
MULTISET UNION
SQUARE IMAGE OF
SQUARE IMAGE OF OR EQUAL TO
CIRCLED TIMES
CIRCLED DIVISION SLASH
CIRCLED ASTERISK OPERATOR
SQUARED MINUS
DOWN TACK
ASSERTION
MODELS
TRUE
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NOT TRUE
DOES NOT FORCE
SUCCEEDS UNDER RELATION
NORMAL SUBGROUP OF
NAND
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE SUBSET
EQUAL AND PARALLEL TO
GREATER-THAN WITH DOT
VERY MUCH GREATER-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
NOT SQUARE ORIGINAL OF OR EQUAL TO
SQUARE IMAGE OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
GREATER-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
NOT NORMAL SUBGROUP OF OR EQUAL TO
ELEMENT OF WITH UNDERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP