Z NOTATION DOMAIN ANTIRESTRICTION
N-ARY UNION OPERATOR WITH PLUS
TWO LOGICAL AND OPERATOR
N-ARY TIMES OPERATOR
MODULO TWO SUM
QUADRUPLE INTEGRAL OPERATOR
ANTICLOCKWISE INTEGRATION
LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
INTEGRAL AROUND A POINT OPERATOR
INTEGRAL WITH TIMES SIGN
LARGE LEFT TRIANGLE OPERATOR
PLUS SIGN WITH SUBSCRIPT TWO
PLUS SIGN IN LEFT HALF CIRCLE
MULTIPLICATION SIGN IN LEFT HALF CIRCLE
CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
CIRCLED DIVISION SIGN
MINUS SIGN IN TRIANGLE
Z NOTATION RELATIONAL COMPOSITION
UNION WITH OVERBAR
INTERSECTION WITH OVERBAR
INTERSECTION WITH LOGICAL AND
UNION WITH LOGICAL OR
INTERSECTION ABOVE BAR ABOVE UNION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
DOUBLE SQUARE UNION
CLOSED UNION WITH SERIFS AND SMASH PRODUCT
DOUBLE LOGICAL AND
SLOPING LARGE AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL OR WITH HORIZONTAL DASH
LOGICAL AND WITH DOUBLE OVERBAR
LOGICAL AND WITH UNDERBAR
SMALL VEE WITH UNDERBAR
Z NOTATION RANGE ANTIRESTRICTION
TILDE OPERATOR WITH DOT ABOVE
EQUALS SIGN ABOVE PLUS SIGN
PLUS SIGN ABOVE EQUALS SIGN
EQUIVALENT WITH FOUR DOTS ABOVE
GREATER-THAN WITH CIRCLE INSIDE
GREATER-THAN WITH QUESTION MARK ABOVE
GREATER-THAN OR SLANTED EQUAL TO
LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
LESS-THAN OR APPROXIMATE
GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
SLANTED EQUAL TO OR LESS-THAN
SIMILAR OR GREATER-THAN
SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE EQUALS SIGN
PRECEDES ABOVE NOT EQUAL TO
SUBSET WITH DOT
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUPERSET OF ABOVE TILDE OPERATOR
SUPERSET OF ABOVE ALMOST EQUAL TO
SUBSET OF ABOVE NOT EQUAL TO
SUPERSET OF ABOVE NOT EQUAL TO
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUBSET
CLOSED SUBSET OR EQUAL TO
SUPERSET ABOVE SUBSET
SUPERSET ABOVE SUPERSET
FORKING
SHORT LEFT TACK
SHORT UP TACK
PERPENDICULAR WITH S
DOUBLE VERTICAL BAR LEFT TURNSTILE
SHORT UP TACK WITH UNDERBAR
SHORT UP TACK ABOVE SHORT DOWN TACK
DOUBLE STROKE NOT SIGN
REVERSED DOUBLE STROKE NOT SIGN
DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO