CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
FOR ALL
PARTIAL DIFFERENTIAL
ELEMENT OF
DOES NOT CONTAIN AS MEMBER
END OF PROOF
N-ARY SUMMATION
MINUS SIGN
MINUS-OR-PLUS SIGN
DIVISION SLASH
DOES NOT DIVIDE
LOGICAL AND
INTERSECTION
INTEGRAL
RATIO
DOT MINUS
EXCESS
TILDE OPERATOR
NOT TILDE
NOT ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
ALMOST EQUAL TO
ALMOST EQUAL OR EQUAL TO
DIFFERENCE BETWEEN
GEOMETRICALLY EQUAL TO
COLON EQUALS
RING IN EQUAL TO
ESTIMATES
DELTA EQUAL TO
EQUAL TO BY DEFINITION
NOT IDENTICAL TO
LESS-THAN OR EQUAL TO
GREATER-THAN OR EQUAL TO
LESS-THAN BUT NOT EQUAL TO
MUCH LESS-THAN
NOT EQUIVALENT TO
NEITHER GREATER-THAN NOR EQUAL TO
PRECEDES OR EQUAL TO
SUBSET OF OR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
MULTISET UNION
SQUARE IMAGE OF
SQUARE IMAGE OF OR EQUAL TO
SQUARE CUP
CIRCLED PLUS
CIRCLED DIVISION SLASH
CIRCLED RING OPERATOR
CIRCLED EQUALS
SQUARED PLUS
SQUARED MINUS
SQUARED TIMES
LEFT TACK
FORCES
DOES NOT PROVE
DOES NOT FORCE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NORMAL SUBGROUP OF
HERMITIAN CONJUGATE MATRIX
NAND
RIGHT ANGLE WITH ARC
N-ARY LOGICAL AND
N-ARY INTERSECTION
DIAMOND OPERATOR
BOWTIE
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
DOUBLE INTERSECTION
GREATER-THAN WITH DOT
VERY MUCH GREATER-THAN
LESS-THAN EQUAL TO OR GREATER-THAN
NOT SQUARE ORIGINAL OF OR EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
VERTICAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH TWO HORIZONTAL STROKES
CONTAINS WITH LONG HORIZONTAL STROKE
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP