PROTOTYPE

See also the currently published format: U2A00.pdf, and the raw data parsed from NamesList.txt: 2A00.json.

2A00 Supplemental Mathematical Operators 2AFF

N-ary operators

2A00 ● N-ARY CIRCLED DOT OPERATOR

CROSS_REF { "name2": "circled dot operator", "cp2": "2299" }

CROSS_REF { "name2": "fisheye", "cp2": "25C9" }

2A01 ● N-ARY CIRCLED PLUS OPERATOR

CROSS_REF { "name2": "circled plus", "cp2": "2295" }

2A02 ● N-ARY CIRCLED TIMES OPERATOR

CROSS_REF { "name2": "circled times", "cp2": "2297" }

CROSS_REF { "name2": "heavy circled saltire", "cp2": "2B59" }

2A03 ● N-ARY UNION OPERATOR WITH DOT

CROSS_REF { "name2": "multiset multiplication", "cp2": "228D" }

2A04 ● N-ARY UNION OPERATOR WITH PLUS

CROSS_REF { "name2": "multiset union", "cp2": "228E" }

2A05 ● N-ARY SQUARE INTERSECTION OPERATOR

CROSS_REF { "name2": "square cap", "cp2": "2293" }

2A06 ● N-ARY SQUARE UNION OPERATOR

CROSS_REF { "name2": "square cup", "cp2": "2294" }

2A07 ● TWO LOGICAL AND OPERATOR

ALIAS_LINE { "text": "merge" }

CROSS_REF { "name2": "two intersecting logical and", "cp2": "2A55" }

2A08 ● TWO LOGICAL OR OPERATOR

CROSS_REF { "name2": "two intersecting logical or", "cp2": "2A56" }

2A09 ● N-ARY TIMES OPERATOR

CROSS_REF { "name2": "multiplication sign", "cp2": "00D7" }

Summations and integrals

2A0A ● MODULO TWO SUM

CROSS_REF { "name2": "n-ary summation", "cp2": "2211" }

2A0B ● SUMMATION WITH INTEGRAL
2A0C ● QUADRUPLE INTEGRAL OPERATOR

CROSS_REF { "name2": "triple integral", "cp2": "222D" }

COMMENT_LINE { "text": "# 222B 222B 222B 222B" }

2A0D ● FINITE PART INTEGRAL
2A0E ● INTEGRAL WITH DOUBLE STROKE
2A0F ● INTEGRAL AVERAGE WITH SLASH
2A10 ● CIRCULATION FUNCTION
2A11 ● ANTICLOCKWISE INTEGRATION
2A12 ● LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
2A13 ● LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
2A14 ● LINE INTEGRATION NOT INCLUDING THE POLE
2A15 ● INTEGRAL AROUND A POINT OPERATOR

CROSS_REF { "name2": "contour integral", "cp2": "222E" }

2A16 ● QUATERNION INTEGRAL OPERATOR
2A17 ● INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
2A18 ● INTEGRAL WITH TIMES SIGN
2A19 ● INTEGRAL WITH INTERSECTION
2A1A ● INTEGRAL WITH UNION
2A1B ● INTEGRAL WITH OVERBAR

ALIAS_LINE { "text": "upper integral" }

2A1C ● INTEGRAL WITH UNDERBAR

ALIAS_LINE { "text": "lower integral" }

Miscellaneous large operators

2A1D ● JOIN

ALIAS_LINE { "text": "large bowtie" }

COMMENT_LINE { "bullet": "*", "text": "relational database theory" }

CROSS_REF { "name2": "bowtie", "cp2": "22C8" }

CROSS_REF { "name2": "full outer join", "cp2": "27D7" }

2A1E ● LARGE LEFT TRIANGLE OPERATOR

COMMENT_LINE { "bullet": "*", "text": "relational database theory" }

CROSS_REF { "name2": "white left-pointing triangle", "cp2": "25C1" }

2A1F ● Z NOTATION SCHEMA COMPOSITION

CROSS_REF { "name2": "z notation relational composition", "cp2": "2A3E" }

2A20 ● Z NOTATION SCHEMA PIPING

CROSS_REF { "name2": "much greater-than", "cp2": "226B" }

2A21 ● Z NOTATION SCHEMA PROJECTION

CROSS_REF { "name2": "upwards harpoon with barb rightwards", "cp2": "21BE" }

Plus and minus sign operators

2A22 ● PLUS SIGN WITH SMALL CIRCLE ABOVE
2A23 ● PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
2A24 ● PLUS SIGN WITH TILDE ABOVE

ALIAS_LINE { "text": "positive difference or sum" }

2A25 ● PLUS SIGN WITH DOT BELOW

CROSS_REF { "name2": "dot plus", "cp2": "2214" }

2A26 ● PLUS SIGN WITH TILDE BELOW

ALIAS_LINE { "text": "sum or positive difference" }

2A27 ● PLUS SIGN WITH SUBSCRIPT TWO

ALIAS_LINE { "text": "nim-addition" }

2A28 ● PLUS SIGN WITH BLACK TRIANGLE
2A29 ● MINUS SIGN WITH COMMA ABOVE
2A2A ● MINUS SIGN WITH DOT BELOW

CROSS_REF { "name2": "dot minus", "cp2": "2238" }

2A2B ● MINUS SIGN WITH FALLING DOTS
2A2C ● MINUS SIGN WITH RISING DOTS
2A2D ● PLUS SIGN IN LEFT HALF CIRCLE
2A2E ● PLUS SIGN IN RIGHT HALF CIRCLE

Multiplication and division sign operators

2A2F ● VECTOR OR CROSS PRODUCT

CROSS_REF { "name2": "multiplication sign", "cp2": "00D7" }

2A30 ● MULTIPLICATION SIGN WITH DOT ABOVE
2A31 ● MULTIPLICATION SIGN WITH UNDERBAR
2A32 ● SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
2A33 ● SMASH PRODUCT
2A34 ● MULTIPLICATION SIGN IN LEFT HALF CIRCLE
2A35 ● MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
2A36 ● CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
2A37 ● MULTIPLICATION SIGN IN DOUBLE CIRCLE
2A38 ● CIRCLED DIVISION SIGN

Miscellaneous mathematical operators

2A39 ● PLUS SIGN IN TRIANGLE
2A3A ● MINUS SIGN IN TRIANGLE
2A3B ● MULTIPLICATION SIGN IN TRIANGLE
2A3C ● INTERIOR PRODUCT

CROSS_REF { "name2": "right floor", "cp2": "230B" }

COMMENT_LINE { "text": "~ 2A3C FE00 tall variant with narrow foot" }

2A3D ● RIGHTHAND INTERIOR PRODUCT

CROSS_REF { "name2": "left floor", "cp2": "230A" }

CROSS_REF { "name2": "turned not sign", "cp2": "2319" }

COMMENT_LINE { "text": "~ 2A3D FE00 tall variant with narrow foot" }

2A3E ● Z NOTATION RELATIONAL COMPOSITION

CROSS_REF { "name2": "z notation schema composition", "cp2": "2A1F" }

2A3F ● AMALGAMATION OR COPRODUCT

CROSS_REF { "name2": "n-ary coproduct", "cp2": "2210" }

Intersections and unions

2A40 ● INTERSECTION WITH DOT

CROSS_REF { "name2": "logical and", "cp2": "2227" }

CROSS_REF { "name2": "and with dot", "cp2": "27D1" }

2A41 ● UNION WITH MINUS SIGN

ALIAS_LINE { "text": "z notation bag subtraction" }

CROSS_REF { "name2": "multiset union", "cp2": "228E" }

2A42 ● UNION WITH OVERBAR
2A43 ● INTERSECTION WITH OVERBAR
2A44 ● INTERSECTION WITH LOGICAL AND
2A45 ● UNION WITH LOGICAL OR
2A46 ● UNION ABOVE INTERSECTION
2A47 ● INTERSECTION ABOVE UNION
2A48 ● UNION ABOVE BAR ABOVE INTERSECTION
2A49 ● INTERSECTION ABOVE BAR ABOVE UNION
2A4A ● UNION BESIDE AND JOINED WITH UNION
2A4B ● INTERSECTION BESIDE AND JOINED WITH INTERSECTION
2A4C ● CLOSED UNION WITH SERIFS

CROSS_REF { "name2": "union", "cp2": "222A" }

2A4D ● CLOSED INTERSECTION WITH SERIFS

CROSS_REF { "name2": "intersection", "cp2": "2229" }

2A4E ● DOUBLE SQUARE INTERSECTION
2A4F ● DOUBLE SQUARE UNION
2A50 ● CLOSED UNION WITH SERIFS AND SMASH PRODUCT

Logical ands and ors

2A51 ● LOGICAL AND WITH DOT ABOVE
2A52 ● LOGICAL OR WITH DOT ABOVE
2A53 ● DOUBLE LOGICAL AND
2A54 ● DOUBLE LOGICAL OR
2A55 ● TWO INTERSECTING LOGICAL AND

CROSS_REF { "name2": "two logical and operator", "cp2": "2A07" }

2A56 ● TWO INTERSECTING LOGICAL OR

CROSS_REF { "name2": "two logical or operator", "cp2": "2A08" }

2A57 ● SLOPING LARGE OR
2A58 ● SLOPING LARGE AND
2A59 ● LOGICAL OR OVERLAPPING LOGICAL AND
2A5A ● LOGICAL AND WITH MIDDLE STEM
2A5B ● LOGICAL OR WITH MIDDLE STEM
2A5C ● LOGICAL AND WITH HORIZONTAL DASH
2A5D ● LOGICAL OR WITH HORIZONTAL DASH
2A5E ● LOGICAL AND WITH DOUBLE OVERBAR

CROSS_REF { "name2": "perspective", "cp2": "2306" }

2A5F ● LOGICAL AND WITH UNDERBAR
2A60 ● LOGICAL AND WITH DOUBLE UNDERBAR

CROSS_REF { "name2": "estimates", "cp2": "2259" }

2A61 ● SMALL VEE WITH UNDERBAR

CROSS_REF { "name2": "equiangular to", "cp2": "225A" }

2A62 ● LOGICAL OR WITH DOUBLE OVERBAR
2A63 ● LOGICAL OR WITH DOUBLE UNDERBAR

CROSS_REF { "name2": "equiangular to", "cp2": "225A" }

Miscellaneous mathematical operators

2A64 ● Z NOTATION DOMAIN ANTIRESTRICTION
2A65 ● Z NOTATION RANGE ANTIRESTRICTION

CROSS_REF { "name2": "conical taper", "cp2": "2332" }

Relational operators

2A66 ● EQUALS SIGN WITH DOT BELOW

CROSS_REF { "name2": "approaches the limit", "cp2": "2250" }

2A67 ● IDENTICAL WITH DOT ABOVE
2A68 ● TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE

ALIAS_LINE { "text": "identical and parallel to" }

CROSS_REF { "name2": "equal and parallel to", "cp2": "22D5" }

CROSS_REF { "name2": "identical to and slanted parallel", "cp2": "29E5" }

2A69 ● TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
2A6A ● TILDE OPERATOR WITH DOT ABOVE
2A6B ● TILDE OPERATOR WITH RISING DOTS

CROSS_REF { "name2": "homothetic", "cp2": "223B" }

2A6C ● SIMILAR MINUS SIMILAR
2A6D ● CONGRUENT WITH DOT ABOVE

CROSS_REF { "name2": "approximately equal to", "cp2": "2245" }

2A6E ● EQUALS WITH ASTERISK

CROSS_REF { "name2": "star equals", "cp2": "225B" }

2A6F ● ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
2A70 ● APPROXIMATELY EQUAL OR EQUAL TO

CROSS_REF { "name2": "approximately equal to", "cp2": "2245" }

2A71 ● EQUALS SIGN ABOVE PLUS SIGN

COMMENT_LINE { "bullet": "*", "text": "black stands slightly better (chess notation)" }

2A72 ● PLUS SIGN ABOVE EQUALS SIGN

COMMENT_LINE { "bullet": "*", "text": "white stands slightly better (chess notation)" }

2A73 ● EQUALS SIGN ABOVE TILDE OPERATOR
2A74 ● DOUBLE COLON EQUAL

COMMENT_LINE { "text": "# 003A 003A 003D" }

2A75 ● TWO CONSECUTIVE EQUALS SIGNS

COMMENT_LINE { "text": "# 003D 003D" }

2A76 ● THREE CONSECUTIVE EQUALS SIGNS

COMMENT_LINE { "text": "# 003D 003D 003D" }

2A77 ● EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
2A78 ● EQUIVALENT WITH FOUR DOTS ABOVE
2A79 ● LESS-THAN WITH CIRCLE INSIDE
2A7A ● GREATER-THAN WITH CIRCLE INSIDE
2A7B ● LESS-THAN WITH QUESTION MARK ABOVE
2A7C ● GREATER-THAN WITH QUESTION MARK ABOVE
2A7D ● LESS-THAN OR SLANTED EQUAL TO

CROSS_REF { "name2": "less-than or equal to", "cp2": "2264" }

2A7E ● GREATER-THAN OR SLANTED EQUAL TO

CROSS_REF { "name2": "greater-than or equal to", "cp2": "2265" }

2A7F ● LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
2A80 ● GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
2A81 ● LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
2A82 ● GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
2A83 ● LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
2A84 ● GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
2A85 ● LESS-THAN OR APPROXIMATE
2A86 ● GREATER-THAN OR APPROXIMATE
2A87 ● LESS-THAN AND SINGLE-LINE NOT EQUAL TO

CROSS_REF { "name2": "less-than but not equal to", "cp2": "2268" }

2A88 ● GREATER-THAN AND SINGLE-LINE NOT EQUAL TO

CROSS_REF { "name2": "greater-than but not equal to", "cp2": "2269" }

2A89 ● LESS-THAN AND NOT APPROXIMATE
2A8A ● GREATER-THAN AND NOT APPROXIMATE
2A8B ● LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN

CROSS_REF { "name2": "less-than equal to or greater-than", "cp2": "22DA" }

2A8C ● GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN

CROSS_REF { "name2": "greater-than equal to or less-than", "cp2": "22DB" }

2A8D ● LESS-THAN ABOVE SIMILAR OR EQUAL
2A8E ● GREATER-THAN ABOVE SIMILAR OR EQUAL
2A8F ● LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
2A90 ● GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
2A91 ● LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
2A92 ● GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
2A93 ● LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
2A94 ● GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
2A95 ● SLANTED EQUAL TO OR LESS-THAN

CROSS_REF { "name2": "equal to or less-than", "cp2": "22DC" }

2A96 ● SLANTED EQUAL TO OR GREATER-THAN

CROSS_REF { "name2": "equal to or greater-than", "cp2": "22DD" }

2A97 ● SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
2A98 ● SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
2A99 ● DOUBLE-LINE EQUAL TO OR LESS-THAN

CROSS_REF { "name2": "equal to or less-than", "cp2": "22DC" }

2A9A ● DOUBLE-LINE EQUAL TO OR GREATER-THAN

CROSS_REF { "name2": "equal to or greater-than", "cp2": "22DD" }

2A9B ● DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
2A9C ● DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
2A9D ● SIMILAR OR LESS-THAN

COMMENT_LINE { "text": "~ 2A9D FE00 with similar following the slant of the upper leg" }

2A9E ● SIMILAR OR GREATER-THAN

COMMENT_LINE { "text": "~ 2A9E FE00 with similar following the slant of the upper leg" }

2A9F ● SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
2AA0 ● SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
2AA1 ● DOUBLE NESTED LESS-THAN

ALIAS_LINE { "text": "absolute continuity" }

CROSS_REF { "name2": "much less-than", "cp2": "226A" }

2AA2 ● DOUBLE NESTED GREATER-THAN

CROSS_REF { "name2": "much greater-than", "cp2": "226B" }

2AA3 ● DOUBLE NESTED LESS-THAN WITH UNDERBAR
2AA4 ● GREATER-THAN OVERLAPPING LESS-THAN
2AA5 ● GREATER-THAN BESIDE LESS-THAN
2AA6 ● LESS-THAN CLOSED BY CURVE
2AA7 ● GREATER-THAN CLOSED BY CURVE
2AA8 ● LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
2AA9 ● GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
2AAA ● SMALLER THAN
2AAB ● LARGER THAN
2AAC ● SMALLER THAN OR EQUAL TO

COMMENT_LINE { "text": "~ 2AAC FE00 with slanted equal" }

2AAD ● LARGER THAN OR EQUAL TO

COMMENT_LINE { "text": "~ 2AAD FE00 with slanted equal" }

2AAE ● EQUALS SIGN WITH BUMPY ABOVE

CROSS_REF { "name2": "difference between", "cp2": "224F" }

2AAF ● PRECEDES ABOVE SINGLE-LINE EQUALS SIGN

CROSS_REF { "name2": "precedes or equal to", "cp2": "227C" }

2AB0 ● SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN

CROSS_REF { "name2": "succeeds or equal to", "cp2": "227D" }

2AB1 ● PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
2AB2 ● SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO
2AB3 ● PRECEDES ABOVE EQUALS SIGN
2AB4 ● SUCCEEDS ABOVE EQUALS SIGN
2AB5 ● PRECEDES ABOVE NOT EQUAL TO
2AB6 ● SUCCEEDS ABOVE NOT EQUAL TO
2AB7 ● PRECEDES ABOVE ALMOST EQUAL TO
2AB8 ● SUCCEEDS ABOVE ALMOST EQUAL TO
2AB9 ● PRECEDES ABOVE NOT ALMOST EQUAL TO
2ABA ● SUCCEEDS ABOVE NOT ALMOST EQUAL TO
2ABB ● DOUBLE PRECEDES
2ABC ● DOUBLE SUCCEEDS

Subset and superset relations

2ABD ● SUBSET WITH DOT
2ABE ● SUPERSET WITH DOT
2ABF ● SUBSET WITH PLUS SIGN BELOW
2AC0 ● SUPERSET WITH PLUS SIGN BELOW
2AC1 ● SUBSET WITH MULTIPLICATION SIGN BELOW
2AC2 ● SUPERSET WITH MULTIPLICATION SIGN BELOW
2AC3 ● SUBSET OF OR EQUAL TO WITH DOT ABOVE
2AC4 ● SUPERSET OF OR EQUAL TO WITH DOT ABOVE
2AC5 ● SUBSET OF ABOVE EQUALS SIGN
2AC6 ● SUPERSET OF ABOVE EQUALS SIGN
2AC7 ● SUBSET OF ABOVE TILDE OPERATOR
2AC8 ● SUPERSET OF ABOVE TILDE OPERATOR
2AC9 ● SUBSET OF ABOVE ALMOST EQUAL TO
2ACA ● SUPERSET OF ABOVE ALMOST EQUAL TO
2ACB ● SUBSET OF ABOVE NOT EQUAL TO

COMMENT_LINE { "text": "~ 2ACB FE00 with stroke through bottom members" }

2ACC ● SUPERSET OF ABOVE NOT EQUAL TO

COMMENT_LINE { "text": "~ 2ACC FE00 with stroke through bottom members" }

2ACD ● SQUARE LEFT OPEN BOX OPERATOR
2ACE ● SQUARE RIGHT OPEN BOX OPERATOR
2ACF ● CLOSED SUBSET

CROSS_REF { "name2": "subset of", "cp2": "2282" }

2AD0 ● CLOSED SUPERSET

CROSS_REF { "name2": "superset of", "cp2": "2283" }

2AD1 ● CLOSED SUBSET OR EQUAL TO
2AD2 ● CLOSED SUPERSET OR EQUAL TO
2AD3 ● SUBSET ABOVE SUPERSET
2AD4 ● SUPERSET ABOVE SUBSET
2AD5 ● SUBSET ABOVE SUBSET
2AD6 ● SUPERSET ABOVE SUPERSET
2AD7 ● SUPERSET BESIDE SUBSET
2AD8 ● SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET

Forks

2AD9 ● ELEMENT OF OPENING DOWNWARDS

CROSS_REF { "name2": "element of", "cp2": "2208" }

CROSS_REF { "name2": "element of opening upwards", "cp2": "27D2" }

2ADA ● PITCHFORK WITH TEE TOP

CROSS_REF { "name2": "pitchfork", "cp2": "22D4" }

2ADB ● TRANSVERSAL INTERSECTION

CROSS_REF { "name2": "pitchfork", "cp2": "22D4" }

2ADC ● FORKING

ALIAS_LINE { "text": "not independent" }

COMMENT_LINE { "bullet": "*", "text": "an equational logic symbol, not a computing science symbol" }

COMMENT_LINE { "bullet": "*", "text": "non-independence (original concept) is related to forking" }

COMMENT_LINE { "text": ": 2ADD 0338" }

2ADD ● NONFORKING

ALIAS_LINE { "text": "independent" }

COMMENT_LINE { "bullet": "*", "text": "an equational logic symbol, not a computing science symbol" }

COMMENT_LINE { "bullet": "*", "text": "independence (original concept) is related to non-forking" }

Tacks and turnstiles

2ADE ● SHORT LEFT TACK

CROSS_REF { "name2": "left tack", "cp2": "22A3" }

2ADF ● SHORT DOWN TACK

CROSS_REF { "name2": "down tack", "cp2": "22A4" }

2AE0 ● SHORT UP TACK

CROSS_REF { "name2": "up tack", "cp2": "22A5" }

2AE1 ● PERPENDICULAR WITH S
2AE2 ● VERTICAL BAR TRIPLE RIGHT TURNSTILE

ALIAS_LINE { "text": "ordinarily satisfies" }

2AE3 ● DOUBLE VERTICAL BAR LEFT TURNSTILE

CROSS_REF { "name2": "forces", "cp2": "22A9" }

2AE4 ● VERTICAL BAR DOUBLE LEFT TURNSTILE

CROSS_REF { "name2": "true", "cp2": "22A8" }

2AE5 ● DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
2AE6 ● LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL

CROSS_REF { "name2": "forces", "cp2": "22A9" }

2AE7 ● SHORT DOWN TACK WITH OVERBAR

CROSS_REF { "name2": "down tack", "cp2": "22A4" }

CROSS_REF { "name2": "apl functional symbol up tack overbar", "cp2": "2351" }

CROSS_REF { "name2": "postal mark", "cp2": "3012" }

2AE8 ● SHORT UP TACK WITH UNDERBAR

CROSS_REF { "name2": "up tack", "cp2": "22A5" }

CROSS_REF { "name2": "apl functional symbol down tack underbar", "cp2": "234A" }

2AE9 ● SHORT UP TACK ABOVE SHORT DOWN TACK
2AEA ● DOUBLE DOWN TACK
2AEB ● DOUBLE UP TACK

ALIAS_LINE { "text": "independence" }

COMMENT_LINE { "bullet": "*", "text": "probability theory" }

2AEC ● DOUBLE STROKE NOT SIGN

CROSS_REF { "name2": "not sign", "cp2": "00AC" }

2AED ● REVERSED DOUBLE STROKE NOT SIGN

CROSS_REF { "name2": "reversed not sign", "cp2": "2310" }

Vertical line operators

2AEE ● DOES NOT DIVIDE WITH REVERSED NEGATION SLASH

CROSS_REF { "name2": "does not divide", "cp2": "2224" }

2AEF ● VERTICAL LINE WITH CIRCLE ABOVE
2AF0 ● VERTICAL LINE WITH CIRCLE BELOW
2AF1 ● DOWN TACK WITH CIRCLE BELOW

ALIAS_LINE { "text": "necessarily satisfies" }

CROSS_REF { "name2": "up tack with circle above", "cp2": "27DF" }

2AF2 ● PARALLEL WITH HORIZONTAL STROKE

CROSS_REF { "name2": "not parallel to", "cp2": "2226" }

CROSS_REF { "name2": "vertical bar with horizontal stroke", "cp2": "27CA" }

2AF3 ● PARALLEL WITH TILDE OPERATOR
2AF4 ● TRIPLE VERTICAL BAR BINARY RELATION

ALIAS_LINE { "text": "interleave" }

CROSS_REF { "name2": "triple vertical bar delimiter", "cp2": "2980" }

2AF5 ● TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE

CROSS_REF { "name2": "vertical bar with horizontal stroke", "cp2": "27CA" }

Miscellaneous mathematical operator

2AF6 ● TRIPLE COLON OPERATOR

COMMENT_LINE { "bullet": "*", "text": "logic" }

CROSS_REF { "name2": "tricolon", "cp2": "205D" }

CROSS_REF { "name2": "vertical ellipsis", "cp2": "22EE" }

Relations

2AF7 ● TRIPLE NESTED LESS-THAN

CROSS_REF { "name2": "very much less-than", "cp2": "22D8" }

2AF8 ● TRIPLE NESTED GREATER-THAN

CROSS_REF { "name2": "very much greater-than", "cp2": "22D9" }

2AF9 ● DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO

CROSS_REF { "name2": "less-than over equal to", "cp2": "2266" }

2AFA ● DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO

CROSS_REF { "name2": "greater-than over equal to", "cp2": "2267" }

2AFB ● TRIPLE SOLIDUS BINARY RELATION

CROSS_REF { "name2": "triple vertical bar binary relation", "cp2": "2AF4" }

Operators

2AFC ● LARGE TRIPLE VERTICAL BAR OPERATOR

COMMENT_LINE { "bullet": "*", "text": "often n-ary" }

CROSS_REF { "name2": "triple vertical bar binary relation", "cp2": "2AF4" }

CROSS_REF { "name2": "triple vertical bar delimiter", "cp2": "2980" }

2AFD ● DOUBLE SOLIDUS OPERATOR

CROSS_REF { "name2": "parallel to", "cp2": "2225" }

2AFE ● WHITE VERTICAL BAR

ALIAS_LINE { "text": "Dijkstra choice" }

2AFF ● N-ARY WHITE VERTICAL BAR

ALIAS_LINE { "text": "n-ary Dijkstra choice" }