Z NOTATION SCHEMA PROJECTION
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL OR OPERATOR
MODULO TWO SUM
SUMMATION WITH INTEGRAL
QUADRUPLE INTEGRAL OPERATOR
FINITE PART INTEGRAL
INTEGRAL WITH DOUBLE STROKE
CIRCULATION FUNCTION
LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
LINE INTEGRATION NOT INCLUDING THE POLE
INTEGRAL WITH TIMES SIGN
INTEGRAL WITH OVERBAR
JOIN
LARGE LEFT TRIANGLE OPERATOR
PLUS SIGN WITH SMALL CIRCLE ABOVE
PLUS SIGN WITH TILDE ABOVE
MINUS SIGN WITH RISING DOTS
MULTIPLICATION SIGN WITH DOT ABOVE
MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
MINUS SIGN IN TRIANGLE
UNION WITH MINUS SIGN
UNION WITH OVERBAR
UNION WITH LOGICAL OR
UNION ABOVE BAR ABOVE INTERSECTION
UNION BESIDE AND JOINED WITH UNION
CLOSED INTERSECTION WITH SERIFS
LOGICAL AND WITH DOT ABOVE
SLOPING LARGE AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL AND WITH UNDERBAR
LOGICAL OR WITH DOUBLE OVERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
EQUALS SIGN ABOVE PLUS SIGN
DOUBLE COLON EQUAL
LESS-THAN WITH CIRCLE INSIDE
LESS-THAN OR SLANTED EQUAL TO
GREATER-THAN OR SLANTED EQUAL TO
LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN ABOVE SIMILAR OR EQUAL
LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
DOUBLE NESTED GREATER-THAN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
GREATER-THAN OVERLAPPING LESS-THAN
GREATER-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
PRECEDES ABOVE EQUALS SIGN
SUCCEEDS ABOVE NOT EQUAL TO
PRECEDES ABOVE NOT ALMOST EQUAL TO
SUBSET WITH DOT
SUBSET WITH PLUS SIGN BELOW
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUBSET OF ABOVE EQUALS SIGN
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE NOT EQUAL TO
SUPERSET ABOVE SUBSET
SUBSET ABOVE SUBSET
ELEMENT OF OPENING DOWNWARDS
PERPENDICULAR WITH S
DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
SHORT UP TACK ABOVE SHORT DOWN TACK
REVERSED DOUBLE STROKE NOT SIGN
PARALLEL WITH HORIZONTAL STROKE
TRIPLE NESTED LESS-THAN
DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO
TRIPLE SOLIDUS BINARY RELATION
DOUBLE SOLIDUS OPERATOR
N-ARY WHITE VERTICAL BAR