MIDLINE HORIZONTAL ELLIPSIS
COMPLEMENT
THERE EXISTS
INCREMENT
NOT AN ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY COPRODUCT
ASTERISK OPERATOR
BULLET OPERATOR
CUBE ROOT
PARALLEL TO
NOT PARALLEL TO
THEREFORE
EXCESS
GEOMETRIC PROPORTION
TILDE OPERATOR
WREATH PRODUCT
NOT ALMOST EQUAL TO
ALMOST EQUAL OR EQUAL TO
TRIPLE TILDE
ALL EQUAL TO
APPROACHES THE LIMIT
RING EQUAL TO
STAR EQUALS
MEASURED BY
QUESTIONED EQUAL TO
NOT IDENTICAL TO
LESS-THAN OVER EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
BETWEEN
NOT EQUIVALENT TO
NOT GREATER-THAN
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
GREATER-THAN OR EQUIVALENT TO
NEITHER LESS-THAN NOR EQUIVALENT TO
PRECEDES OR EQUAL TO
PRECEDES OR EQUIVALENT TO
DOES NOT SUCCEED
SUBSET OF WITH NOT EQUAL TO
MULTISET
SQUARE IMAGE OF OR EQUAL TO
SQUARE CUP
CIRCLED DIVISION SLASH
CIRCLED ASTERISK OPERATOR
CIRCLED EQUALS
LEFT TACK
DOWN TACK
ASSERTION
FORCES
PRECEDES UNDER RELATION
SUCCEEDS UNDER RELATION
NORMAL SUBGROUP OF
IMAGE OF
N-ARY LOGICAL AND
DIVISION TIMES
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
LEFT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
DOUBLE SUPERSET
DOUBLE INTERSECTION
PITCHFORK
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
EQUAL TO OR LESS-THAN
EQUAL TO OR GREATER-THAN
EQUAL TO OR PRECEDES
EQUAL TO OR SUCCEEDS
PRECEDES BUT NOT EQUIVALENT TO
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP