MEASURED BY
COMPLEMENT
THERE DOES NOT EXIST
NOT AN ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
N-ARY SUMMATION
MINUS-OR-PLUS SIGN
DOT PLUS
BULLET OPERATOR
SQUARE ROOT
INFINITY
SPHERICAL ANGLE
DOES NOT DIVIDE
LOGICAL AND
INTERSECTION
DOUBLE INTEGRAL
THEREFORE
RATIO
GEOMETRIC PROPORTION
REVERSED TILDE
INVERTED LAZY S
NOT TILDE
ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
TRIPLE TILDE
EQUIVALENT TO
EQUALS COLON
RING IN EQUAL TO
RING EQUAL TO
ESTIMATES
EQUIANGULAR TO
STRICTLY EQUIVALENT TO
GREATER-THAN OR EQUAL TO
MUCH LESS-THAN
MUCH GREATER-THAN
NOT LESS-THAN
NOT GREATER-THAN
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES
PRECEDES OR EQUIVALENT TO
NOT A SUBSET OF
SUPERSET OF WITH NOT EQUAL TO
MULTISET MULTIPLICATION
MULTISET UNION
SQUARE CAP
CIRCLED RING OPERATOR
ASSERTION
NOT TRUE
DOES NOT FORCE
NORMAL SUBGROUP OF
CONTAINS AS NORMAL SUBGROUP
ORIGINAL OF
MULTIMAP
RIGHT ANGLE WITH ARC
DIAMOND OPERATOR
DOT OPERATOR
BOWTIE
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
LEFT SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
DOUBLE INTERSECTION
PITCHFORK
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
GREATER-THAN EQUAL TO OR LESS-THAN
EQUAL TO OR LESS-THAN
EQUAL TO OR PRECEDES
DOES NOT PRECEDE OR EQUAL
SQUARE ORIGINAL OF OR NOT EQUAL TO
GREATER-THAN BUT NOT EQUIVALENT TO
SMALL ELEMENT OF WITH OVERBAR
ELEMENT OF WITH UNDERBAR
ELEMENT OF WITH TWO HORIZONTAL STROKES
SMALL CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP