LOGICAL AND WITH DOT ABOVE
N-ARY UNION OPERATOR WITH PLUS
N-ARY SQUARE INTERSECTION OPERATOR
TWO LOGICAL AND OPERATOR
TWO LOGICAL OR OPERATOR
N-ARY TIMES OPERATOR
MODULO TWO SUM
INTEGRAL WITH DOUBLE STROKE
INTEGRAL AROUND A POINT OPERATOR
INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
INTEGRAL WITH UNION
INTEGRAL WITH OVERBAR
INTEGRAL WITH UNDERBAR
Z NOTATION SCHEMA PIPING
MINUS SIGN WITH DOT BELOW
CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
MULTIPLICATION SIGN IN DOUBLE CIRCLE
MINUS SIGN IN TRIANGLE
INTERIOR PRODUCT
RIGHTHAND INTERIOR PRODUCT
Z NOTATION RELATIONAL COMPOSITION
AMALGAMATION OR COPRODUCT
INTERSECTION WITH OVERBAR
UNION WITH LOGICAL OR
UNION BESIDE AND JOINED WITH UNION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
CLOSED UNION WITH SERIFS
DOUBLE SQUARE INTERSECTION
DOUBLE SQUARE UNION
LOGICAL OR WITH DOT ABOVE
TWO INTERSECTING LOGICAL OR
LOGICAL OR OVERLAPPING LOGICAL AND
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
PLUS SIGN ABOVE EQUALS SIGN
DOUBLE COLON EQUAL
EQUIVALENT WITH FOUR DOTS ABOVE
LESS-THAN WITH CIRCLE INSIDE
LESS-THAN OR SLANTED EQUAL TO
GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
LESS-THAN ABOVE SIMILAR OR EQUAL
LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
GREATER-THAN CLOSED BY CURVE
LARGER THAN OR EQUAL TO
PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
DOUBLE PRECEDES
SUPERSET WITH DOT
SUPERSET WITH PLUS SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUBSET OF ABOVE EQUALS SIGN
SUPERSET OF ABOVE TILDE OPERATOR
SUBSET OF ABOVE ALMOST EQUAL TO
CLOSED SUBSET
CLOSED SUPERSET
SUBSET ABOVE SUPERSET
SUPERSET ABOVE SUPERSET
SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
ELEMENT OF OPENING DOWNWARDS
FORKING
NONFORKING
VERTICAL BAR TRIPLE RIGHT TURNSTILE
SHORT DOWN TACK WITH OVERBAR
SHORT UP TACK WITH UNDERBAR
DOUBLE DOWN TACK
DOUBLE STROKE NOT SIGN
REVERSED DOUBLE STROKE NOT SIGN
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE NESTED GREATER-THAN
LARGE TRIPLE VERTICAL BAR OPERATOR