SQUARE ORIGINAL OF
FOR ALL
THERE EXISTS
INCREMENT
SMALL ELEMENT OF
CONTAINS AS MEMBER
DOES NOT CONTAIN AS MEMBER
END OF PROOF
N-ARY COPRODUCT
N-ARY SUMMATION
ASTERISK OPERATOR
CUBE ROOT
PROPORTIONAL TO
ANGLE
MEASURED ANGLE
DIVIDES
PARALLEL TO
UNION
REVERSED TILDE
NOT TILDE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
TRIPLE TILDE
ALL EQUAL TO
DIFFERENCE BETWEEN
APPROACHES THE LIMIT
EQUALS COLON
IDENTICAL TO
NOT IDENTICAL TO
MUCH LESS-THAN
NOT LESS-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER LESS-THAN NOR EQUIVALENT TO
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUAL TO
DOES NOT SUCCEED
SUPERSET OF
SUPERSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
SQUARE IMAGE OF
SQUARE IMAGE OF OR EQUAL TO
CIRCLED DOT OPERATOR
CIRCLED ASTERISK OPERATOR
CIRCLED EQUALS
SQUARED MINUS
SQUARED TIMES
MODELS
TRUE
FORCES
DOES NOT PROVE
SUCCEEDS UNDER RELATION
MULTIMAP
HERMITIAN CONJUGATE MATRIX
INTERCALATE
RIGHT TRIANGLE
N-ARY LOGICAL AND
DIAMOND OPERATOR
LEFT SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
LESS-THAN WITH DOT
GREATER-THAN WITH DOT
VERY MUCH GREATER-THAN
LESS-THAN EQUAL TO OR GREATER-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR SUCCEEDS
DOES NOT PRECEDE OR EQUAL
NOT SQUARE ORIGINAL OF OR EQUAL TO
MIDLINE HORIZONTAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH OVERBAR
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP