Z NOTATION SCHEMA PIPING
N-ARY CIRCLED PLUS OPERATOR
N-ARY SQUARE UNION OPERATOR
INTEGRAL WITH DOUBLE STROKE
ANTICLOCKWISE INTEGRATION
INTEGRAL AROUND A POINT OPERATOR
QUATERNION INTEGRAL OPERATOR
LARGE LEFT TRIANGLE OPERATOR
PLUS SIGN WITH TILDE ABOVE
PLUS SIGN WITH SUBSCRIPT TWO
MINUS SIGN WITH COMMA ABOVE
MINUS SIGN WITH DOT BELOW
PLUS SIGN IN LEFT HALF CIRCLE
PLUS SIGN IN RIGHT HALF CIRCLE
SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
SMASH PRODUCT
PLUS SIGN IN TRIANGLE
RIGHTHAND INTERIOR PRODUCT
Z NOTATION RELATIONAL COMPOSITION
INTERSECTION WITH DOT
INTERSECTION WITH LOGICAL AND
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
CLOSED UNION WITH SERIFS
DOUBLE LOGICAL AND
DOUBLE LOGICAL OR
SLOPING LARGE OR
LOGICAL AND WITH MIDDLE STEM
LOGICAL AND WITH HORIZONTAL DASH
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
SIMILAR MINUS SIMILAR
EQUALS WITH ASTERISK
APPROXIMATELY EQUAL OR EQUAL TO
PLUS SIGN ABOVE EQUALS SIGN
DOUBLE COLON EQUAL
TWO CONSECUTIVE EQUALS SIGNS
EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
EQUIVALENT WITH FOUR DOTS ABOVE
GREATER-THAN WITH CIRCLE INSIDE
GREATER-THAN WITH QUESTION MARK ABOVE
LESS-THAN OR SLANTED EQUAL TO
LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
LESS-THAN AND NOT APPROXIMATE
GREATER-THAN AND NOT APPROXIMATE
GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
SLANTED EQUAL TO OR LESS-THAN
SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR GREATER-THAN
DOUBLE NESTED LESS-THAN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
GREATER-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
EQUALS SIGN WITH BUMPY ABOVE
PRECEDES ABOVE ALMOST EQUAL TO
SUCCEEDS ABOVE ALMOST EQUAL TO
DOUBLE PRECEDES
SUBSET WITH DOT
SUPERSET WITH DOT
SUBSET WITH PLUS SIGN BELOW
SUBSET OF ABOVE ALMOST EQUAL TO
SUPERSET OF ABOVE ALMOST EQUAL TO
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUBSET
CLOSED SUPERSET
CLOSED SUPERSET OR EQUAL TO
SUPERSET BESIDE SUBSET
NONFORKING
SHORT DOWN TACK
PERPENDICULAR WITH S
VERTICAL BAR DOUBLE LEFT TURNSTILE
SHORT UP TACK ABOVE SHORT DOWN TACK
DOUBLE DOWN TACK
PARALLEL WITH TILDE OPERATOR
TRIPLE NESTED LESS-THAN
TRIPLE NESTED GREATER-THAN