Z NOTATION RANGE ANTIRESTRICTION
N-ARY CIRCLED DOT OPERATOR
N-ARY CIRCLED TIMES OPERATOR
N-ARY UNION OPERATOR WITH PLUS
TWO LOGICAL AND OPERATOR
MODULO TWO SUM
LINE INTEGRATION NOT INCLUDING THE POLE
INTEGRAL WITH TIMES SIGN
INTEGRAL WITH INTERSECTION
INTEGRAL WITH OVERBAR
LARGE LEFT TRIANGLE OPERATOR
PLUS SIGN WITH TILDE ABOVE
MINUS SIGN WITH COMMA ABOVE
PLUS SIGN IN LEFT HALF CIRCLE
PLUS SIGN IN RIGHT HALF CIRCLE
VECTOR OR CROSS PRODUCT
MULTIPLICATION SIGN WITH DOT ABOVE
SMASH PRODUCT
CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
MULTIPLICATION SIGN IN DOUBLE CIRCLE
MULTIPLICATION SIGN IN TRIANGLE
Z NOTATION RELATIONAL COMPOSITION
INTERSECTION WITH DOT
INTERSECTION WITH OVERBAR
UNION ABOVE INTERSECTION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
DOUBLE SQUARE UNION
LOGICAL AND WITH DOT ABOVE
LOGICAL OR WITH DOT ABOVE
DOUBLE LOGICAL AND
DOUBLE LOGICAL OR
TWO INTERSECTING LOGICAL AND
SLOPING LARGE OR
LOGICAL OR OVERLAPPING LOGICAL AND
LOGICAL AND WITH MIDDLE STEM
TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
EQUALS SIGN ABOVE TILDE OPERATOR
LESS-THAN WITH QUESTION MARK ABOVE
GREATER-THAN WITH QUESTION MARK ABOVE
GREATER-THAN OR APPROXIMATE
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN AND NOT APPROXIMATE
GREATER-THAN AND NOT APPROXIMATE
SLANTED EQUAL TO OR LESS-THAN
SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
DOUBLE-LINE EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR LESS-THAN
SIMILAR OR GREATER-THAN
GREATER-THAN OVERLAPPING LESS-THAN
GREATER-THAN BESIDE LESS-THAN
LESS-THAN CLOSED BY CURVE
GREATER-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
LARGER THAN OR EQUAL TO
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
SUCCEEDS ABOVE NOT EQUAL TO
SUCCEEDS ABOVE ALMOST EQUAL TO
PRECEDES ABOVE NOT ALMOST EQUAL TO
DOUBLE SUCCEEDS
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF ABOVE TILDE OPERATOR
SUPERSET OF ABOVE NOT EQUAL TO
SQUARE LEFT OPEN BOX OPERATOR
SQUARE RIGHT OPEN BOX OPERATOR
CLOSED SUBSET
SUBSET ABOVE SUPERSET
SUPERSET ABOVE SUBSET
SUBSET ABOVE SUBSET
PITCHFORK WITH TEE TOP
SHORT DOWN TACK
PERPENDICULAR WITH S
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
DOUBLE DOWN TACK
DOUBLE UP TACK
TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
LARGE TRIPLE VERTICAL BAR OPERATOR
DOUBLE SOLIDUS OPERATOR