Z NOTATION SCHEMA COMPOSITION
N-ARY UNION OPERATOR WITH PLUS
N-ARY SQUARE INTERSECTION OPERATOR
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL AND OPERATOR
SUMMATION WITH INTEGRAL
INTEGRAL AROUND A POINT OPERATOR
QUATERNION INTEGRAL OPERATOR
INTEGRAL WITH INTERSECTION
INTEGRAL WITH UNION
INTEGRAL WITH OVERBAR
PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
MULTIPLICATION SIGN WITH DOT ABOVE
Z NOTATION RELATIONAL COMPOSITION
INTERSECTION WITH DOT
INTERSECTION WITH LOGICAL AND
INTERSECTION ABOVE UNION
DOUBLE SQUARE INTERSECTION
LOGICAL OR WITH DOT ABOVE
DOUBLE LOGICAL OR
LOGICAL AND WITH UNDERBAR
LOGICAL OR WITH DOUBLE UNDERBAR
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
EQUALS WITH ASTERISK
EQUALS SIGN ABOVE PLUS SIGN
DOUBLE COLON EQUAL
THREE CONSECUTIVE EQUALS SIGNS
EQUIVALENT WITH FOUR DOTS ABOVE
LESS-THAN WITH CIRCLE INSIDE
GREATER-THAN WITH CIRCLE INSIDE
LESS-THAN WITH QUESTION MARK ABOVE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
LESS-THAN AND SINGLE-LINE NOT EQUAL TO
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
SLANTED EQUAL TO OR LESS-THAN
SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
SIMILAR OR LESS-THAN
GREATER-THAN CLOSED BY CURVE
SMALLER THAN OR EQUAL TO
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE EQUALS SIGN
SUCCEEDS ABOVE EQUALS SIGN
PRECEDES ABOVE ALMOST EQUAL TO
PRECEDES ABOVE NOT ALMOST EQUAL TO
DOUBLE PRECEDES
DOUBLE SUCCEEDS
SUBSET WITH DOT
SUBSET WITH PLUS SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE ALMOST EQUAL TO
SUPERSET OF ABOVE NOT EQUAL TO
CLOSED SUBSET OR EQUAL TO
SUPERSET ABOVE SUBSET
SUPERSET ABOVE SUPERSET
SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
ELEMENT OF OPENING DOWNWARDS
TRANSVERSAL INTERSECTION
SHORT LEFT TACK
VERTICAL BAR TRIPLE RIGHT TURNSTILE
DOUBLE VERTICAL BAR LEFT TURNSTILE
VERTICAL BAR DOUBLE LEFT TURNSTILE
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
REVERSED DOUBLE STROKE NOT SIGN
VERTICAL LINE WITH CIRCLE ABOVE
DOWN TACK WITH CIRCLE BELOW
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE COLON OPERATOR
DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO
WHITE VERTICAL BAR
N-ARY WHITE VERTICAL BAR