CIRCLED DOT OPERATOR
FOR ALL
THERE EXISTS
THERE DOES NOT EXIST
EMPTY SET
NABLA
CONTAINS AS MEMBER
SMALL CONTAINS AS MEMBER
END OF PROOF
SET MINUS
CUBE ROOT
RIGHT ANGLE
MEASURED ANGLE
LOGICAL OR
SURFACE INTEGRAL
CLOCKWISE INTEGRAL
CLOCKWISE CONTOUR INTEGRAL
RATIO
DOT MINUS
TILDE OPERATOR
SINE WAVE
ASYMPTOTICALLY EQUAL TO
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
ALMOST EQUAL TO
ALMOST EQUAL OR EQUAL TO
APPROACHES THE LIMIT
GEOMETRICALLY EQUAL TO
COLON EQUALS
CORRESPONDS TO
STRICTLY EQUIVALENT TO
GREATER-THAN BUT NOT EQUAL TO
NEITHER GREATER-THAN NOR EQUAL TO
NEITHER GREATER-THAN NOR EQUIVALENT TO
LESS-THAN OR GREATER-THAN
PRECEDES
SUCCEEDS
DOES NOT PRECEDE
NOT A SUBSET OF
SUBSET OF WITH NOT EQUAL TO
SUPERSET OF WITH NOT EQUAL TO
SQUARE IMAGE OF
SQUARE ORIGINAL OF OR EQUAL TO
SQUARE CAP
CIRCLED PLUS
CIRCLED DIVISION SLASH
CIRCLED ASTERISK OPERATOR
SQUARED DOT OPERATOR
RIGHT TACK
LEFT TACK
ASSERTION
TRUE
TRIPLE VERTICAL BAR RIGHT TURNSTILE
NOT TRUE
SUCCEEDS UNDER RELATION
HERMITIAN CONJUGATE MATRIX
XOR
RIGHT TRIANGLE
N-ARY LOGICAL AND
N-ARY INTERSECTION
STAR OPERATOR
BOWTIE
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT SEMIDIRECT PRODUCT
DOUBLE UNION
PITCHFORK
VERY MUCH GREATER-THAN
DOES NOT PRECEDE OR EQUAL
DOES NOT SUCCEED OR EQUAL
SQUARE ORIGINAL OF OR NOT EQUAL TO
GREATER-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
DOES NOT CONTAIN AS NORMAL SUBGROUP
ELEMENT OF WITH LONG HORIZONTAL STROKE
ELEMENT OF WITH DOT ABOVE
ELEMENT OF WITH OVERBAR
SMALL ELEMENT OF WITH OVERBAR
CONTAINS WITH LONG HORIZONTAL STROKE
CONTAINS WITH OVERBAR