VERTICAL BAR DOUBLE LEFT TURNSTILE
N-ARY CIRCLED DOT OPERATOR
N-ARY UNION OPERATOR WITH DOT
N-ARY SQUARE INTERSECTION OPERATOR
TWO LOGICAL OR OPERATOR
MODULO TWO SUM
SUMMATION WITH INTEGRAL
INTEGRAL AVERAGE WITH SLASH
LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
LINE INTEGRATION NOT INCLUDING THE POLE
INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
Z NOTATION SCHEMA PROJECTION
PLUS SIGN WITH DOT BELOW
PLUS SIGN WITH SUBSCRIPT TWO
MINUS SIGN WITH FALLING DOTS
MULTIPLICATION SIGN WITH DOT ABOVE
CIRCLED DIVISION SIGN
Z NOTATION RELATIONAL COMPOSITION
UNION WITH LOGICAL OR
UNION ABOVE BAR ABOVE INTERSECTION
INTERSECTION ABOVE BAR ABOVE UNION
UNION BESIDE AND JOINED WITH UNION
CLOSED UNION WITH SERIFS AND SMASH PRODUCT
LOGICAL OR WITH DOT ABOVE
DOUBLE LOGICAL AND
TWO INTERSECTING LOGICAL AND
TWO INTERSECTING LOGICAL OR
SLOPING LARGE OR
SLOPING LARGE AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL OR WITH MIDDLE STEM
LOGICAL OR WITH HORIZONTAL DASH
LOGICAL AND WITH DOUBLE UNDERBAR
LOGICAL OR WITH DOUBLE OVERBAR
EQUALS SIGN WITH DOT BELOW
TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
SIMILAR MINUS SIMILAR
EQUALS WITH ASTERISK
EQUALS SIGN ABOVE TILDE OPERATOR
THREE CONSECUTIVE EQUALS SIGNS
EQUIVALENT WITH FOUR DOTS ABOVE
LESS-THAN WITH CIRCLE INSIDE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
GREATER-THAN OR APPROXIMATE
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
SLANTED EQUAL TO OR LESS-THAN
SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
DOUBLE NESTED GREATER-THAN
GREATER-THAN CLOSED BY CURVE
LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
LARGER THAN
LARGER THAN OR EQUAL TO
EQUALS SIGN WITH BUMPY ABOVE
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
SUCCEEDS ABOVE NOT EQUAL TO
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUPERSET OF ABOVE EQUALS SIGN
SUBSET OF ABOVE TILDE OPERATOR
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE ALMOST EQUAL TO
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUPERSET
CLOSED SUPERSET OR EQUAL TO
SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
FORKING
NONFORKING
SHORT UP TACK
PERPENDICULAR WITH S
DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
DOUBLE STROKE NOT SIGN
DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
LARGE TRIPLE VERTICAL BAR OPERATOR
DOUBLE SOLIDUS OPERATOR
N-ARY WHITE VERTICAL BAR