NOT IDENTICAL TO
FOR ALL
THERE EXISTS
THERE DOES NOT EXIST
EMPTY SET
SMALL ELEMENT OF
END OF PROOF
N-ARY COPRODUCT
SQUARE ROOT
INFINITY
RIGHT ANGLE
SPHERICAL ANGLE
DOES NOT DIVIDE
SURFACE INTEGRAL
THEREFORE
BECAUSE
RATIO
DOT MINUS
EXCESS
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
NOT ALMOST EQUAL TO
TRIPLE TILDE
STAR EQUALS
EQUAL TO BY DEFINITION
MEASURED BY
NOT EQUAL TO
IDENTICAL TO
GREATER-THAN OVER EQUAL TO
NOT GREATER-THAN
NEITHER GREATER-THAN NOR LESS-THAN
PRECEDES OR EQUAL TO
DOES NOT PRECEDE
SUPERSET OF
NOT A SUBSET OF
NOT A SUPERSET OF
MULTISET MULTIPLICATION
SQUARE ORIGINAL OF
SQUARE IMAGE OF OR EQUAL TO
SQUARE ORIGINAL OF OR EQUAL TO
CIRCLED EQUALS
SQUARED PLUS
UP TACK
TRUE
FORCES
DOES NOT PROVE
NOT TRUE
DOES NOT FORCE
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
NORMAL SUBGROUP OF OR EQUAL TO
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
XOR
NAND
NOR
RIGHT ANGLE WITH ARC
N-ARY INTERSECTION
DIAMOND OPERATOR
STAR OPERATOR
BOWTIE
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
REVERSED TILDE EQUALS
LESS-THAN WITH DOT
VERY MUCH LESS-THAN
EQUAL TO OR PRECEDES
EQUAL TO OR SUCCEEDS
NOT SQUARE ORIGINAL OF OR EQUAL TO
SQUARE ORIGINAL OF OR NOT EQUAL TO
LESS-THAN BUT NOT EQUIVALENT TO
NOT NORMAL SUBGROUP OF
NOT NORMAL SUBGROUP OF OR EQUAL TO
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
VERTICAL ELLIPSIS
MIDLINE HORIZONTAL ELLIPSIS
UP RIGHT DIAGONAL ELLIPSIS
ELEMENT OF WITH DOT ABOVE
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
CONTAINS WITH OVERBAR
Z NOTATION BAG MEMBERSHIP