DOES NOT SUCCEED
THERE DOES NOT EXIST
EMPTY SET
DOES NOT CONTAIN AS MEMBER
N-ARY PRODUCT
MINUS SIGN
MINUS-OR-PLUS SIGN
SET MINUS
ASTERISK OPERATOR
RING OPERATOR
BULLET OPERATOR
SQUARE ROOT
CUBE ROOT
PROPORTIONAL TO
NOT PARALLEL TO
INTERSECTION
CLOCKWISE INTEGRAL
THEREFORE
BECAUSE
PROPORTION
DOT MINUS
TILDE OPERATOR
INVERTED LAZY S
SINE WAVE
WREATH PRODUCT
NOT TILDE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
TRIPLE TILDE
ALL EQUAL TO
GEOMETRICALLY EQUIVALENT TO
EQUALS COLON
ESTIMATES
STAR EQUALS
NOT EQUAL TO
IDENTICAL TO
NOT IDENTICAL TO
STRICTLY EQUIVALENT TO
GREATER-THAN OR EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
BETWEEN
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER LESS-THAN NOR EQUIVALENT TO
NOT A SUBSET OF
CIRCLED TIMES
CIRCLED ASTERISK OPERATOR
CIRCLED DASH
SQUARED TIMES
DOWN TACK
UP TACK
MODELS
FORCES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
NORMAL SUBGROUP OF
IMAGE OF
RIGHT ANGLE WITH ARC
RIGHT TRIANGLE
N-ARY LOGICAL AND
DIAMOND OPERATOR
BOWTIE
REVERSED TILDE EQUALS
CURLY LOGICAL OR
CURLY LOGICAL AND
DOUBLE UNION
PITCHFORK
VERY MUCH GREATER-THAN
EQUAL TO OR PRECEDES
NOT SQUARE ORIGINAL OF OR EQUAL TO
SQUARE IMAGE OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
MIDLINE HORIZONTAL ELLIPSIS
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH OVERBAR
SMALL ELEMENT OF WITH OVERBAR
ELEMENT OF WITH UNDERBAR
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP