CLOCKWISE CONTOUR INTEGRAL
THERE EXISTS
ELEMENT OF
SMALL ELEMENT OF
DOES NOT CONTAIN AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
MINUS-OR-PLUS SIGN
DOT PLUS
RING OPERATOR
PROPORTIONAL TO
ANGLE
PARALLEL TO
NOT PARALLEL TO
LOGICAL OR
UNION
VOLUME INTEGRAL
THEREFORE
GEOMETRIC PROPORTION
REVERSED TILDE
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
ALMOST EQUAL TO
EQUIVALENT TO
COLON EQUALS
DELTA EQUAL TO
NOT IDENTICAL TO
LESS-THAN OR EQUAL TO
GREATER-THAN OR EQUAL TO
LESS-THAN OVER EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
NEITHER GREATER-THAN NOR EQUAL TO
LESS-THAN OR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
SUCCEEDS OR EQUIVALENT TO
SUBSET OF
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUBSET OF NOR EQUAL TO
SQUARE IMAGE OF
SQUARE ORIGINAL OF
CIRCLED TIMES
CIRCLED DOT OPERATOR
SQUARED PLUS
SQUARED TIMES
RIGHT TACK
DOWN TACK
UP TACK
DOES NOT PROVE
IMAGE OF
HERMITIAN CONJUGATE MATRIX
N-ARY LOGICAL AND
N-ARY LOGICAL OR
N-ARY INTERSECTION
DOT OPERATOR
STAR OPERATOR
BOWTIE
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
CURLY LOGICAL AND
DOUBLE SUBSET
EQUAL AND PARALLEL TO
LESS-THAN WITH DOT
GREATER-THAN WITH DOT
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR GREATER-THAN
EQUAL TO OR PRECEDES
SQUARE ORIGINAL OF OR NOT EQUAL TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
NOT NORMAL SUBGROUP OF OR EQUAL TO
UP RIGHT DIAGONAL ELLIPSIS
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP