MODELS
COMPLEMENT
CONTAINS AS MEMBER
DOES NOT CONTAIN AS MEMBER
END OF PROOF
N-ARY COPRODUCT
MINUS-OR-PLUS SIGN
DOT PLUS
DIVISION SLASH
FOURTH ROOT
RIGHT ANGLE
DOES NOT DIVIDE
PARALLEL TO
NOT PARALLEL TO
CLOCKWISE CONTOUR INTEGRAL
RATIO
EXCESS
GEOMETRIC PROPORTION
TILDE OPERATOR
REVERSED TILDE
INVERTED LAZY S
NOT TILDE
ASYMPTOTICALLY EQUAL TO
EQUIVALENT TO
RING IN EQUAL TO
CORRESPONDS TO
ESTIMATES
EQUIANGULAR TO
DELTA EQUAL TO
LESS-THAN OVER EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH GREATER-THAN
NOT EQUIVALENT TO
NEITHER LESS-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER LESS-THAN NOR GREATER-THAN
PRECEDES
PRECEDES OR EQUAL TO
NOT A SUPERSET OF
SUBSET OF OR EQUAL TO
SQUARE IMAGE OF
SQUARE ORIGINAL OF OR EQUAL TO
CIRCLED EQUALS
SQUARED TIMES
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
SUCCEEDS UNDER RELATION
ORIGINAL OF
MULTIMAP
NOR
N-ARY INTERSECTION
DIAMOND OPERATOR
DOT OPERATOR
STAR OPERATOR
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
CURLY LOGICAL OR
DOUBLE SUBSET
DOUBLE SUPERSET
DOUBLE INTERSECTION
DOUBLE UNION
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
VERY MUCH GREATER-THAN
LESS-THAN EQUAL TO OR GREATER-THAN
EQUAL TO OR PRECEDES
DOES NOT PRECEDE OR EQUAL
NOT SQUARE IMAGE OF OR EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
MIDLINE HORIZONTAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL ELEMENT OF WITH OVERBAR
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP