RIGHT TRIANGLE
THERE EXISTS
THERE DOES NOT EXIST
EMPTY SET
INCREMENT
DOES NOT CONTAIN AS MEMBER
END OF PROOF
N-ARY SUMMATION
SET MINUS
ASTERISK OPERATOR
SQUARE ROOT
CUBE ROOT
FOURTH ROOT
ANGLE
MEASURED ANGLE
SPHERICAL ANGLE
PARALLEL TO
NOT PARALLEL TO
UNION
INTEGRAL
TRIPLE INTEGRAL
VOLUME INTEGRAL
THEREFORE
BECAUSE
RATIO
PROPORTION
EXCESS
MINUS TILDE
ASYMPTOTICALLY EQUAL TO
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
EQUALS COLON
EQUIANGULAR TO
LESS-THAN OR EQUAL TO
NEITHER LESS-THAN NOR GREATER-THAN
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES
SUBSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
SUPERSET OF OR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
MULTISET UNION
SQUARE IMAGE OF OR EQUAL TO
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CAP
CIRCLED PLUS
CIRCLED TIMES
CIRCLED RING OPERATOR
CIRCLED ASTERISK OPERATOR
RIGHT TACK
MODELS
TRUE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
SUCCEEDS UNDER RELATION
INTERCALATE
NOR
N-ARY INTERSECTION
DIAMOND OPERATOR
LEFT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE SUPERSET
DOUBLE INTERSECTION
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR GREATER-THAN
SQUARE ORIGINAL OF OR NOT EQUAL TO
VERTICAL ELLIPSIS
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH OVERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH OVERBAR
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP