BULLET OPERATOR
CONTAINS AS MEMBER
END OF PROOF
N-ARY SUMMATION
DIVISION SLASH
SET MINUS
RING OPERATOR
ANGLE
PARALLEL TO
LOGICAL AND
LOGICAL OR
SURFACE INTEGRAL
CLOCKWISE INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
PROPORTION
EXCESS
TILDE OPERATOR
REVERSED TILDE
SINE WAVE
WREATH PRODUCT
APPROXIMATELY EQUAL TO
ALMOST EQUAL TO
IMAGE OF OR APPROXIMATELY EQUAL TO
ESTIMATES
STAR EQUALS
QUESTIONED EQUAL TO
STRICTLY EQUIVALENT TO
LESS-THAN OR EQUAL TO
LESS-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
BETWEEN
NOT LESS-THAN
LESS-THAN OR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
PRECEDES
SUCCEEDS
PRECEDES OR EQUIVALENT TO
SUPERSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
SQUARE IMAGE OF
SQUARE IMAGE OF OR EQUAL TO
SQUARE CAP
CIRCLED DIVISION SLASH
CIRCLED ASTERISK OPERATOR
CIRCLED EQUALS
CIRCLED DASH
SQUARED PLUS
SQUARED TIMES
LEFT TACK
UP TACK
TRUE
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
DOES NOT PROVE
NOT TRUE
SUCCEEDS UNDER RELATION
INTERCALATE
NAND
N-ARY LOGICAL OR
STAR OPERATOR
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE INTERSECTION
LESS-THAN WITH DOT
EQUAL TO OR PRECEDES
EQUAL TO OR SUCCEEDS
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
NOT SQUARE IMAGE OF OR EQUAL TO
GREATER-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF OR EQUAL TO
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH OVERBAR
Z NOTATION BAG MEMBERSHIP