Z NOTATION SCHEMA COMPOSITION
N-ARY UNION OPERATOR WITH DOT
N-ARY UNION OPERATOR WITH PLUS
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL OR OPERATOR
ANTICLOCKWISE INTEGRATION
LINE INTEGRATION NOT INCLUDING THE POLE
INTEGRAL WITH INTERSECTION
LARGE LEFT TRIANGLE OPERATOR
MINUS SIGN WITH RISING DOTS
PLUS SIGN IN RIGHT HALF CIRCLE
SMASH PRODUCT
MULTIPLICATION SIGN IN TRIANGLE
AMALGAMATION OR COPRODUCT
INTERSECTION WITH DOT
INTERSECTION WITH OVERBAR
UNION BESIDE AND JOINED WITH UNION
CLOSED UNION WITH SERIFS
CLOSED INTERSECTION WITH SERIFS
DOUBLE SQUARE UNION
LOGICAL OR WITH DOT ABOVE
DOUBLE LOGICAL OR
SLOPING LARGE OR
TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
TILDE OPERATOR WITH DOT ABOVE
TILDE OPERATOR WITH RISING DOTS
ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
PLUS SIGN ABOVE EQUALS SIGN
EQUALS SIGN ABOVE TILDE OPERATOR
DOUBLE COLON EQUAL
THREE CONSECUTIVE EQUALS SIGNS
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
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
SLANTED EQUAL TO OR LESS-THAN
SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
SIMILAR OR LESS-THAN
SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
DOUBLE NESTED LESS-THAN
GREATER-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
EQUALS SIGN WITH BUMPY ABOVE
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE NOT EQUAL TO
SUCCEEDS ABOVE ALMOST EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
DOUBLE PRECEDES
SUBSET WITH DOT
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUBSET OF ABOVE TILDE OPERATOR
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE ALMOST EQUAL TO
SUPERSET OF ABOVE ALMOST EQUAL TO
SUPERSET OF ABOVE NOT EQUAL TO
CLOSED SUBSET
SUBSET ABOVE SUPERSET
SUPERSET ABOVE SUBSET
SUBSET ABOVE SUBSET
PITCHFORK WITH TEE TOP
NONFORKING
VERTICAL BAR DOUBLE LEFT TURNSTILE
DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
SHORT UP TACK ABOVE SHORT DOWN TACK
DOUBLE STROKE NOT SIGN
DOES NOT DIVIDE WITH REVERSED NEGATION SLASH
DOWN TACK WITH CIRCLE BELOW
TRIPLE NESTED GREATER-THAN
DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
TRIPLE SOLIDUS BINARY RELATION
LARGE TRIPLE VERTICAL BAR OPERATOR
DOUBLE SOLIDUS OPERATOR
WHITE VERTICAL BAR