Z NOTATION RELATIONAL COMPOSITION
N-ARY UNION OPERATOR WITH DOT
ANTICLOCKWISE INTEGRATION
LINE INTEGRATION NOT INCLUDING THE POLE
QUATERNION INTEGRAL OPERATOR
INTEGRAL WITH TIMES SIGN
INTEGRAL WITH OVERBAR
PLUS SIGN WITH SMALL CIRCLE ABOVE
PLUS SIGN WITH SUBSCRIPT TWO
MINUS SIGN WITH COMMA ABOVE
MINUS SIGN WITH DOT BELOW
SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
INTERIOR PRODUCT
RIGHTHAND INTERIOR PRODUCT
UNION WITH MINUS SIGN
UNION WITH OVERBAR
INTERSECTION WITH LOGICAL AND
UNION ABOVE INTERSECTION
DOUBLE SQUARE UNION
CLOSED UNION WITH SERIFS AND SMASH PRODUCT
LOGICAL AND WITH DOT ABOVE
SLOPING LARGE OR
LOGICAL OR OVERLAPPING LOGICAL AND
LOGICAL AND WITH HORIZONTAL DASH
LOGICAL AND WITH UNDERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
EQUALS SIGN ABOVE PLUS SIGN
EQUALS SIGN ABOVE TILDE OPERATOR
DOUBLE COLON EQUAL
EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
GREATER-THAN WITH CIRCLE INSIDE
GREATER-THAN OR SLANTED EQUAL TO
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN AND NOT APPROXIMATE
GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
SLANTED EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR GREATER-THAN
SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
DOUBLE NESTED GREATER-THAN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
GREATER-THAN OVERLAPPING LESS-THAN
GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
SMALLER THAN
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE EQUALS SIGN
SUCCEEDS ABOVE EQUALS SIGN
PRECEDES ABOVE NOT EQUAL TO
SUPERSET WITH DOT
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUBSET OF ABOVE EQUALS SIGN
SUPERSET OF ABOVE EQUALS SIGN
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUPERSET
CLOSED SUPERSET OR EQUAL TO
SUBSET ABOVE SUPERSET
SUPERSET ABOVE SUPERSET
SUPERSET BESIDE SUBSET
SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
ELEMENT OF OPENING DOWNWARDS
FORKING
SHORT LEFT TACK
SHORT DOWN TACK
SHORT DOWN TACK WITH OVERBAR
DOUBLE UP TACK
DOUBLE STROKE NOT SIGN
DOES NOT DIVIDE WITH REVERSED NEGATION SLASH
TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
LARGE TRIPLE VERTICAL BAR OPERATOR