VERTICAL BAR DOUBLE LEFT TURNSTILE
N-ARY UNION OPERATOR WITH PLUS
TWO LOGICAL AND OPERATOR
MODULO TWO SUM
SUMMATION WITH INTEGRAL
INTEGRAL AROUND A POINT OPERATOR
JOIN
Z NOTATION SCHEMA PROJECTION
MINUS SIGN WITH FALLING DOTS
PLUS SIGN IN RIGHT HALF CIRCLE
MULTIPLICATION SIGN WITH UNDERBAR
MULTIPLICATION SIGN IN LEFT HALF CIRCLE
MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
PLUS SIGN IN TRIANGLE
MULTIPLICATION SIGN IN TRIANGLE
INTERIOR PRODUCT
UNION WITH OVERBAR
INTERSECTION WITH LOGICAL AND
UNION ABOVE INTERSECTION
UNION BESIDE AND JOINED WITH UNION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
CLOSED UNION WITH SERIFS
LOGICAL OR WITH DOT ABOVE
SLOPING LARGE OR
LOGICAL AND WITH MIDDLE STEM
LOGICAL AND WITH HORIZONTAL DASH
LOGICAL AND WITH UNDERBAR
LOGICAL OR WITH DOUBLE OVERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
EQUALS SIGN WITH DOT BELOW
IDENTICAL WITH DOT ABOVE
TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
TILDE OPERATOR WITH RISING DOTS
SIMILAR MINUS SIMILAR
ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
EQUIVALENT WITH FOUR DOTS ABOVE
LESS-THAN WITH CIRCLE INSIDE
LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
LESS-THAN AND NOT APPROXIMATE
LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
LESS-THAN ABOVE SIMILAR OR EQUAL
GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
DOUBLE-LINE EQUAL TO OR LESS-THAN
DOUBLE-LINE EQUAL TO OR GREATER-THAN
DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR LESS-THAN
DOUBLE NESTED LESS-THAN
SMALLER THAN
LARGER THAN
SMALLER THAN OR EQUAL TO
LARGER THAN OR EQUAL TO
PRECEDES ABOVE EQUALS SIGN
PRECEDES ABOVE NOT EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
DOUBLE SUCCEEDS
SQUARE LEFT OPEN BOX OPERATOR
SQUARE RIGHT OPEN BOX OPERATOR
CLOSED SUBSET
SUPERSET ABOVE SUBSET
SUPERSET BESIDE SUBSET
TRANSVERSAL INTERSECTION
NONFORKING
SHORT LEFT TACK
DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
SHORT DOWN TACK WITH OVERBAR
DOUBLE DOWN TACK
DOUBLE UP TACK
VERTICAL LINE WITH CIRCLE ABOVE
DOWN TACK WITH CIRCLE BELOW
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
DOUBLE SOLIDUS OPERATOR
WHITE VERTICAL BAR