PRECEDES OR EQUIVALENT TO
COMPLEMENT
THERE EXISTS
N-ARY COPRODUCT
MINUS-OR-PLUS SIGN
DIVISION SLASH
SET MINUS
RING OPERATOR
BULLET OPERATOR
FOURTH ROOT
INFINITY
RIGHT ANGLE
SPHERICAL ANGLE
INTERSECTION
DOUBLE INTEGRAL
SURFACE INTEGRAL
CLOCKWISE INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
BECAUSE
INVERTED LAZY S
SINE WAVE
WREATH PRODUCT
NOT TILDE
MINUS TILDE
ALMOST EQUAL OR EQUAL TO
TRIPLE TILDE
GEOMETRICALLY EQUIVALENT TO
APPROXIMATELY EQUAL TO OR THE IMAGE OF
IMAGE OF OR APPROXIMATELY EQUAL TO
COLON EQUALS
EQUIANGULAR TO
EQUAL TO BY DEFINITION
QUESTIONED EQUAL TO
LESS-THAN OR EQUAL TO
LESS-THAN OVER EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
NOT EQUIVALENT TO
GREATER-THAN OR EQUIVALENT TO
NEITHER LESS-THAN NOR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES
PRECEDES OR EQUAL TO
DOES NOT PRECEDE
NOT A SUBSET OF
SUBSET OF WITH NOT EQUAL TO
MULTISET
MULTISET UNION
SQUARE IMAGE OF OR EQUAL TO
CIRCLED MINUS
CIRCLED DIVISION SLASH
SQUARED TIMES
SQUARED DOT OPERATOR
RIGHT TACK
ASSERTION
MODELS
TRUE
TRIPLE VERTICAL BAR RIGHT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
DOES NOT FORCE
SUCCEEDS UNDER RELATION
CONTAINS AS NORMAL SUBGROUP
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
XOR
DIVISION TIMES
BOWTIE
CURLY LOGICAL OR
CURLY LOGICAL AND
DOUBLE INTERSECTION
PITCHFORK
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
ELEMENT OF WITH DOT ABOVE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP