UNION
COMPLEMENT
ELEMENT OF
NOT AN ELEMENT OF
SMALL ELEMENT OF
DOES NOT CONTAIN AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
DIVISION SLASH
CUBE ROOT
INTERSECTION
TRIPLE INTEGRAL
CONTOUR INTEGRAL
CLOCKWISE CONTOUR INTEGRAL
THEREFORE
TILDE OPERATOR
REVERSED TILDE
INVERTED LAZY S
MINUS TILDE
ASYMPTOTICALLY EQUAL TO
EQUIVALENT TO
RING EQUAL TO
EQUIANGULAR TO
NOT EQUAL TO
NOT IDENTICAL TO
GREATER-THAN OR EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
BETWEEN
NEITHER LESS-THAN NOR EQUIVALENT TO
PRECEDES
SUCCEEDS
PRECEDES OR EQUAL TO
SUCCEEDS OR EQUAL TO
SUCCEEDS OR EQUIVALENT TO
DOES NOT SUCCEED
SUPERSET OF
SUPERSET OF OR EQUAL TO
MULTISET
SQUARE IMAGE OF
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CAP
SQUARE CUP
CIRCLED DIVISION SLASH
CIRCLED DOT OPERATOR
CIRCLED ASTERISK OPERATOR
CIRCLED DASH
SQUARED TIMES
RIGHT TACK
DOWN TACK
UP TACK
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
DOES NOT PROVE
DOES NOT FORCE
CONTAINS AS NORMAL SUBGROUP
ORIGINAL OF
HERMITIAN CONJUGATE MATRIX
INTERCALATE
RIGHT ANGLE WITH ARC
N-ARY LOGICAL AND
N-ARY LOGICAL OR
RIGHT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
CURLY LOGICAL OR
DOUBLE SUBSET
DOUBLE SUPERSET
EQUAL AND PARALLEL TO
GREATER-THAN WITH DOT
VERY MUCH LESS-THAN
NOT SQUARE IMAGE OF OR EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
DOWN RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH UNDERBAR
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP