SMALL ELEMENT OF
INCREMENT
ELEMENT OF
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
N-ARY PRODUCT
N-ARY COPRODUCT
DIVISION SLASH
SET MINUS
BULLET OPERATOR
SQUARE ROOT
CUBE ROOT
PROPORTIONAL TO
RIGHT ANGLE
LOGICAL AND
DOT MINUS
EXCESS
REVERSED TILDE
INVERTED LAZY S
SINE WAVE
NOT TILDE
ASYMPTOTICALLY EQUAL TO
APPROXIMATELY EQUAL TO
ALMOST EQUAL TO
TRIPLE TILDE
ALL EQUAL TO
APPROACHES THE LIMIT
IMAGE OF OR APPROXIMATELY EQUAL TO
RING IN EQUAL TO
EQUAL TO BY DEFINITION
LESS-THAN OR EQUAL TO
MUCH LESS-THAN
BETWEEN
NOT GREATER-THAN
GREATER-THAN OR EQUIVALENT TO
LESS-THAN OR GREATER-THAN
SUPERSET OF
SUBSET OF OR EQUAL TO
NEITHER A SUPERSET OF NOR EQUAL TO
MULTISET MULTIPLICATION
SQUARE CAP
CIRCLED DOT OPERATOR
SQUARED DOT OPERATOR
DOWN TACK
ASSERTION
FORCES
NOT TRUE
DOES NOT FORCE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
SUCCEEDS UNDER RELATION
IMAGE OF
MULTIMAP
INTERCALATE
XOR
NOR
N-ARY LOGICAL OR
N-ARY INTERSECTION
LEFT SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
CURLY LOGICAL AND
DOUBLE SUBSET
DOUBLE UNION
PITCHFORK
GREATER-THAN WITH DOT
EQUAL TO OR PRECEDES
EQUAL TO OR SUCCEEDS
SQUARE IMAGE OF OR NOT EQUAL TO
PRECEDES BUT NOT EQUIVALENT TO
UP RIGHT DIAGONAL ELLIPSIS
DOWN RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH UNDERBAR
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
Z NOTATION BAG MEMBERSHIP