SUCCEEDS OR EQUAL TO
FOR ALL
THERE EXISTS
NABLA
SMALL ELEMENT OF
CONTAINS AS MEMBER
DOES NOT CONTAIN AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY COPRODUCT
ASTERISK OPERATOR
RING OPERATOR
SQUARE ROOT
FOURTH ROOT
INFINITY
RIGHT ANGLE
SPHERICAL ANGLE
DIVIDES
CONTOUR INTEGRAL
RATIO
PROPORTION
TILDE OPERATOR
REVERSED TILDE
NOT TILDE
ASYMPTOTICALLY EQUAL TO
ALMOST EQUAL TO
EQUALS COLON
ESTIMATES
DELTA EQUAL TO
MEASURED BY
IDENTICAL TO
STRICTLY EQUIVALENT TO
GREATER-THAN BUT NOT EQUAL TO
NOT LESS-THAN
NOT GREATER-THAN
GREATER-THAN OR EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
LESS-THAN OR GREATER-THAN
PRECEDES OR EQUAL TO
DOES NOT SUCCEED
SUBSET OF
NOT A SUBSET OF
NEITHER A SUBSET OF NOR EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
MULTISET UNION
CIRCLED PLUS
CIRCLED DOT OPERATOR
CIRCLED RING OPERATOR
CIRCLED EQUALS
CIRCLED DASH
SQUARED TIMES
RIGHT TACK
LEFT TACK
ASSERTION
FORCES
NOT TRUE
SUCCEEDS UNDER RELATION
NORMAL SUBGROUP OF
NORMAL SUBGROUP OF OR EQUAL TO
XOR
RIGHT ANGLE WITH ARC
RIGHT TRIANGLE
N-ARY INTERSECTION
DIAMOND OPERATOR
DIVISION TIMES
CURLY LOGICAL AND
DOUBLE INTERSECTION
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
GREATER-THAN EQUAL TO OR LESS-THAN
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
SMALL ELEMENT OF WITH OVERBAR
Z NOTATION BAG MEMBERSHIP