Z NOTATION RELATIONAL COMPOSITION
N-ARY CIRCLED DOT OPERATOR
N-ARY CIRCLED TIMES OPERATOR
N-ARY SQUARE UNION OPERATOR
N-ARY TIMES OPERATOR
CIRCULATION FUNCTION
ANTICLOCKWISE INTEGRATION
LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
INTEGRAL AROUND A POINT OPERATOR
QUATERNION INTEGRAL OPERATOR
INTEGRAL WITH INTERSECTION
PLUS SIGN WITH SUBSCRIPT TWO
MINUS SIGN WITH RISING DOTS
MULTIPLICATION SIGN WITH UNDERBAR
SMASH PRODUCT
INTERIOR PRODUCT
RIGHTHAND INTERIOR PRODUCT
UNION WITH LOGICAL OR
INTERSECTION ABOVE UNION
CLOSED INTERSECTION WITH SERIFS
LOGICAL OR WITH DOT ABOVE
SLOPING LARGE OR
SLOPING LARGE AND
LOGICAL AND WITH HORIZONTAL DASH
LOGICAL OR WITH HORIZONTAL DASH
LOGICAL AND WITH DOUBLE OVERBAR
LOGICAL AND WITH UNDERBAR
LOGICAL AND WITH DOUBLE UNDERBAR
LOGICAL OR WITH DOUBLE UNDERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
SIMILAR MINUS SIMILAR
ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
TWO CONSECUTIVE EQUALS SIGNS
EQUIVALENT WITH FOUR DOTS ABOVE
GREATER-THAN WITH QUESTION MARK ABOVE
LESS-THAN OR SLANTED EQUAL TO
LESS-THAN OR APPROXIMATE
LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
DOUBLE-LINE EQUAL TO OR GREATER-THAN
DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR GREATER-THAN
DOUBLE NESTED LESS-THAN
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
SMALLER THAN
LARGER THAN
SMALLER THAN OR EQUAL TO
LARGER THAN OR EQUAL TO
EQUALS SIGN WITH BUMPY ABOVE
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
PRECEDES ABOVE EQUALS SIGN
PRECEDES ABOVE NOT EQUAL TO
SUCCEEDS ABOVE ALMOST EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
DOUBLE SUCCEEDS
SUBSET WITH DOT
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUBSET OF OR EQUAL TO WITH DOT ABOVE
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUBSET OR EQUAL TO
SUPERSET ABOVE SUBSET
SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
FORKING
SHORT UP TACK
PERPENDICULAR WITH S
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
SHORT DOWN TACK WITH OVERBAR
DOUBLE DOWN TACK
DOUBLE UP TACK
VERTICAL LINE WITH CIRCLE ABOVE
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE NESTED LESS-THAN
TRIPLE NESTED GREATER-THAN
DOUBLE SOLIDUS OPERATOR