RIGHT TACK
FOR ALL
THERE EXISTS
EMPTY SET
NABLA
NOT AN ELEMENT OF
N-ARY COPRODUCT
MINUS SIGN
MINUS-OR-PLUS SIGN
DOT PLUS
SET MINUS
RING OPERATOR
SQUARE ROOT
CUBE ROOT
FOURTH ROOT
INFINITY
RIGHT ANGLE
DIVIDES
PARALLEL TO
LOGICAL OR
VOLUME INTEGRAL
THEREFORE
RATIO
HOMOTHETIC
TILDE OPERATOR
MINUS TILDE
ALMOST EQUAL OR EQUAL TO
GEOMETRICALLY EQUIVALENT TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
IMAGE OF OR APPROXIMATELY EQUAL TO
RING IN EQUAL TO
STAR EQUALS
EQUAL TO BY DEFINITION
NOT EQUAL TO
MUCH GREATER-THAN
NOT EQUIVALENT TO
NOT GREATER-THAN
LESS-THAN OR EQUIVALENT TO
GREATER-THAN OR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
SUCCEEDS OR EQUAL TO
SUCCEEDS OR EQUIVALENT TO
SUBSET OF
NOT A SUBSET OF
SUBSET OF WITH NOT EQUAL TO
CIRCLED PLUS
CIRCLED MINUS
CIRCLED EQUALS
SQUARED TIMES
MODELS
FORCES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NAND
N-ARY UNION
DIAMOND OPERATOR
CURLY LOGICAL OR
CURLY LOGICAL AND
PITCHFORK
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
EQUAL TO OR LESS-THAN
EQUAL TO OR GREATER-THAN
NOT SQUARE IMAGE OF OR EQUAL TO
SQUARE IMAGE OF OR NOT EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
VERTICAL ELLIPSIS
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH UNDERBAR
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP