SQUARE IMAGE OF OR EQUAL TO
THERE DOES NOT EXIST
EMPTY SET
SMALL ELEMENT OF
CONTAINS AS MEMBER
DOES NOT CONTAIN AS MEMBER
END OF PROOF
N-ARY SUMMATION
MINUS-OR-PLUS SIGN
SET MINUS
RING OPERATOR
PROPORTIONAL TO
ANGLE
MEASURED ANGLE
PARALLEL TO
DOUBLE INTEGRAL
TRIPLE INTEGRAL
RATIO
GEOMETRIC PROPORTION
TILDE OPERATOR
INVERTED LAZY S
SINE WAVE
NOT TILDE
MINUS TILDE
ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
TRIPLE TILDE
GEOMETRICALLY EQUIVALENT TO
IMAGE OF OR APPROXIMATELY EQUAL TO
EQUALS COLON
STAR EQUALS
MEASURED BY
NOT EQUAL TO
NOT IDENTICAL TO
LESS-THAN OR EQUAL TO
LESS-THAN OVER EQUAL TO
MUCH GREATER-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUAL TO
DOES NOT SUCCEED
SUBSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
MULTISET UNION
SQUARE ORIGINAL OF OR EQUAL TO
CIRCLED MINUS
CIRCLED TIMES
CIRCLED RING OPERATOR
SQUARED MINUS
LEFT TACK
DOWN TACK
FORCES
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NORMAL SUBGROUP OF
IMAGE OF
INTERCALATE
RIGHT ANGLE WITH ARC
N-ARY INTERSECTION
DIAMOND OPERATOR
BOWTIE
DOUBLE SUBSET
DOUBLE INTERSECTION
DOUBLE UNION
LESS-THAN WITH DOT
EQUAL TO OR SUCCEEDS
DOES NOT SUCCEED OR EQUAL
PRECEDES BUT NOT EQUIVALENT TO
SUCCEEDS BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF OR EQUAL TO
VERTICAL ELLIPSIS
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH OVERBAR
ELEMENT OF WITH UNDERBAR
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP