DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
FOR ALL
COMPLEMENT
THERE EXISTS
EMPTY SET
ELEMENT OF
CONTAINS AS MEMBER
END OF PROOF
N-ARY SUMMATION
MINUS SIGN
MINUS-OR-PLUS SIGN
ASTERISK OPERATOR
BULLET OPERATOR
PROPORTIONAL TO
LOGICAL AND
UNION
DOUBLE INTEGRAL
TRIPLE INTEGRAL
SURFACE INTEGRAL
VOLUME INTEGRAL
RATIO
DOT MINUS
GEOMETRIC PROPORTION
REVERSED TILDE
WREATH PRODUCT
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
NOT ALMOST EQUAL TO
TRIPLE TILDE
APPROXIMATELY EQUAL TO OR THE IMAGE OF
RING EQUAL TO
NOT IDENTICAL TO
STRICTLY EQUIVALENT TO
GREATER-THAN OR EQUAL TO
GREATER-THAN OVER EQUAL TO
LESS-THAN BUT NOT EQUAL TO
GREATER-THAN BUT NOT EQUAL TO
MUCH LESS-THAN
NOT EQUIVALENT TO
NOT GREATER-THAN
NEITHER LESS-THAN NOR EQUIVALENT TO
GREATER-THAN OR LESS-THAN
PRECEDES
SUCCEEDS
PRECEDES OR EQUIVALENT TO
DOES NOT SUCCEED
SUBSET OF
NOT A SUPERSET OF
NEITHER A SUPERSET OF NOR EQUAL TO
SUBSET OF WITH NOT EQUAL TO
CIRCLED TIMES
CIRCLED ASTERISK OPERATOR
DOWN TACK
ASSERTION
MODELS
FORCES
NOT TRUE
SUCCEEDS UNDER RELATION
NORMAL SUBGROUP OF
CONTAINS AS NORMAL SUBGROUP
MULTIMAP
N-ARY LOGICAL OR
N-ARY UNION
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
CURLY LOGICAL AND
DOUBLE SUBSET
GREATER-THAN WITH DOT
EQUAL TO OR GREATER-THAN
EQUAL TO OR PRECEDES
SQUARE IMAGE OF OR NOT EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
ELEMENT OF WITH OVERBAR
SMALL ELEMENT OF WITH OVERBAR
CONTAINS WITH LONG HORIZONTAL STROKE