DOUBLE STROKE NOT SIGN
N-ARY CIRCLED PLUS OPERATOR
N-ARY SQUARE INTERSECTION OPERATOR
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL OR OPERATOR
SUMMATION WITH INTEGRAL
INTEGRAL AROUND A POINT OPERATOR
Z NOTATION SCHEMA COMPOSITION
Z NOTATION SCHEMA PIPING
Z NOTATION SCHEMA PROJECTION
PLUS SIGN WITH BLACK TRIANGLE
MINUS SIGN WITH FALLING DOTS
MULTIPLICATION SIGN WITH DOT ABOVE
MULTIPLICATION SIGN WITH UNDERBAR
SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
CIRCLED DIVISION SIGN
INTERIOR PRODUCT
Z NOTATION RELATIONAL COMPOSITION
INTERSECTION WITH DOT
UNION WITH MINUS SIGN
INTERSECTION ABOVE UNION
UNION ABOVE BAR ABOVE INTERSECTION
INTERSECTION ABOVE BAR ABOVE UNION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
CLOSED UNION WITH SERIFS
DOUBLE SQUARE UNION
TWO INTERSECTING LOGICAL OR
SLOPING LARGE AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL OR WITH HORIZONTAL DASH
LOGICAL AND WITH DOUBLE OVERBAR
LOGICAL OR WITH DOUBLE UNDERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
TILDE OPERATOR WITH RISING DOTS
EQUALS SIGN ABOVE PLUS SIGN
EQUALS SIGN ABOVE TILDE OPERATOR
DOUBLE COLON EQUAL
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN AND NOT APPROXIMATE
LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
GREATER-THAN ABOVE SIMILAR OR EQUAL
GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
SIMILAR OR LESS-THAN
SIMILAR OR GREATER-THAN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
GREATER-THAN OVERLAPPING LESS-THAN
GREATER-THAN BESIDE LESS-THAN
SMALLER THAN
LARGER THAN OR EQUAL TO
SUCCEEDS ABOVE EQUALS SIGN
SUCCEEDS ABOVE NOT EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
SUBSET WITH DOT
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF ABOVE EQUALS SIGN
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE NOT EQUAL TO
CLOSED SUBSET
SUPERSET ABOVE SUBSET
SUBSET ABOVE SUBSET
SUPERSET ABOVE SUPERSET
SHORT DOWN TACK
PERPENDICULAR WITH S
DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
DOUBLE UP TACK
REVERSED DOUBLE STROKE NOT SIGN
VERTICAL LINE WITH CIRCLE BELOW
PARALLEL WITH HORIZONTAL STROKE
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE COLON OPERATOR
TRIPLE NESTED GREATER-THAN
DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO
WHITE VERTICAL BAR