Z NOTATION SCHEMA COMPOSITION
N-ARY CIRCLED DOT OPERATOR
N-ARY UNION OPERATOR WITH DOT
N-ARY SQUARE INTERSECTION OPERATOR
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL OR OPERATOR
N-ARY TIMES OPERATOR
QUADRUPLE INTEGRAL OPERATOR
INTEGRAL AVERAGE WITH SLASH
LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
INTEGRAL AROUND A POINT OPERATOR
INTEGRAL WITH INTERSECTION
PLUS SIGN WITH SMALL CIRCLE ABOVE
PLUS SIGN WITH TILDE BELOW
MINUS SIGN WITH COMMA ABOVE
MINUS SIGN WITH RISING DOTS
PLUS SIGN IN RIGHT HALF CIRCLE
VECTOR OR CROSS PRODUCT
SMASH PRODUCT
MINUS SIGN IN TRIANGLE
Z NOTATION RELATIONAL COMPOSITION
AMALGAMATION OR COPRODUCT
UNION ABOVE INTERSECTION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
DOUBLE SQUARE UNION
DOUBLE LOGICAL AND
DOUBLE LOGICAL OR
LOGICAL OR OVERLAPPING LOGICAL AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL AND WITH DOUBLE OVERBAR
LOGICAL OR WITH DOUBLE OVERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
TILDE OPERATOR WITH RISING DOTS
SIMILAR MINUS SIMILAR
EQUALS SIGN ABOVE PLUS SIGN
EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
GREATER-THAN WITH CIRCLE INSIDE
GREATER-THAN WITH QUESTION MARK ABOVE
GREATER-THAN OR SLANTED EQUAL TO
GREATER-THAN OR APPROXIMATE
LESS-THAN AND NOT APPROXIMATE
GREATER-THAN AND NOT APPROXIMATE
LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
SLANTED EQUAL TO OR GREATER-THAN
SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
SIMILAR OR LESS-THAN
SIMILAR OR GREATER-THAN
GREATER-THAN OVERLAPPING LESS-THAN
LESS-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
LARGER THAN
SMALLER THAN OR EQUAL TO
EQUALS SIGN WITH BUMPY ABOVE
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE NOT EQUAL TO
PRECEDES ABOVE ALMOST EQUAL TO
SUCCEEDS ABOVE ALMOST EQUAL TO
SUBSET WITH DOT
SUPERSET WITH PLUS SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUBSET OF OR EQUAL TO WITH DOT ABOVE
SUBSET OF ABOVE EQUALS SIGN
SUPERSET OF ABOVE EQUALS SIGN
PITCHFORK WITH TEE TOP
FORKING
SHORT UP TACK
VERTICAL BAR TRIPLE RIGHT TURNSTILE
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
DOUBLE DOWN TACK
DOUBLE UP TACK
DOUBLE STROKE NOT SIGN
REVERSED DOUBLE STROKE NOT SIGN
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR BINARY RELATION
WHITE VERTICAL BAR
N-ARY WHITE VERTICAL BAR