PROTOTYPE

See also the currently published format: U2200.pdf, and the raw data parsed from NamesList.txt: 2200.json.

2200 Mathematical Operators 22FF

Miscellaneous mathematical symbols

2200 FOR ALL

ALIAS_LINE { "text": "universal quantifier" }

2201 COMPLEMENT

CROSS_REF { "name2": "latin letter stretched c", "cp2": "0297" }

2202 PARTIAL DIFFERENTIAL
2203 THERE EXISTS

ALIAS_LINE { "text": "existential quantifier" }

2204 THERE DOES NOT EXIST

COMMENT_LINE { "text": ": 2203 0338" }

2205 EMPTY SET

ALIAS_LINE { "text": "null set" }

COMMENT_LINE { "bullet": "*", "text": "used in linguistics to indicate a null morpheme or phonological \"zero\"" }

CROSS_REF { "name2": "latin capital letter o with stroke", "cp2": "00D8" }

CROSS_REF { "name2": "diameter sign", "cp2": "2300" }

COMMENT_LINE { "text": "~ 2205 FE00 zero with long diagonal stroke overlay form" }

2206 INCREMENT

ALIAS_LINE { "text": "Laplace operator" }

ALIAS_LINE { "text": "forward difference" }

ALIAS_LINE { "text": "symmetric difference (in set theory)" }

COMMENT_LINE { "bullet": "*", "text": "other symbols may also be used for symmetric difference" }

CROSS_REF { "name2": "greek capital letter delta", "cp2": "0394" }

CROSS_REF { "name2": "white up-pointing triangle", "cp2": "25B3" }

2207 NABLA

ALIAS_LINE { "text": "backward difference" }

ALIAS_LINE { "text": "gradient, del" }

COMMENT_LINE { "bullet": "*", "text": "used for Laplacian operator (written with superscript 2)" }

CROSS_REF { "name2": "white down-pointing triangle", "cp2": "25BD" }

Set membership

2208 ELEMENT OF
2209 NOT AN ELEMENT OF

COMMENT_LINE { "text": ": 2208 0338" }

220A SMALL ELEMENT OF

COMMENT_LINE { "bullet": "*", "text": "originates in math pi fonts; not the straight epsilon" }

CROSS_REF { "name2": "greek lunate epsilon symbol", "cp2": "03F5" }

220B CONTAINS AS MEMBER

ALIAS_LINE { "text": "such that" }

220C DOES NOT CONTAIN AS MEMBER

COMMENT_LINE { "text": ": 220B 0338" }

220D SMALL CONTAINS AS MEMBER

CROSS_REF { "name2": "greek reversed lunate epsilon symbol", "cp2": "03F6" }

Miscellaneous mathematical symbol

220E END OF PROOF

ALIAS_LINE { "text": "q.e.d." }

CROSS_REF { "name2": "triangular bullet", "cp2": "2023" }

CROSS_REF { "name2": "black vertical rectangle", "cp2": "25AE" }

N-ary operators

220F N-ARY PRODUCT

ALIAS_LINE { "text": "product sign" }

CROSS_REF { "name2": "greek capital letter pi", "cp2": "03A0" }

2210 N-ARY COPRODUCT

ALIAS_LINE { "text": "coproduct sign" }

2211 N-ARY SUMMATION

ALIAS_LINE { "text": "summation sign" }

CROSS_REF { "name2": "greek capital letter sigma", "cp2": "03A3" }

CROSS_REF { "name2": "double-struck n-ary summation", "cp2": "2140" }

Operators

2212 MINUS SIGN

CROSS_REF { "name2": "hyphen-minus", "cp2": "002D" }

CROSS_REF { "name2": "heavy minus sign", "cp2": "2796" }

2213 MINUS-OR-PLUS SIGN

CROSS_REF { "name2": "plus-minus sign", "cp2": "00B1" }

2214 DOT PLUS
2215 DIVISION SLASH

COMMENT_LINE { "bullet": "*", "text": "generic division operator" }

CROSS_REF { "name2": "solidus", "cp2": "002F" }

CROSS_REF { "name2": "fraction slash", "cp2": "2044" }

CROSS_REF { "name2": "mathematical rising diagonal", "cp2": "27CB" }

2216 SET MINUS

CROSS_REF { "name2": "reverse solidus", "cp2": "005C" }

CROSS_REF { "name2": "mathematical falling diagonal", "cp2": "27CD" }

CROSS_REF { "name2": "reverse solidus operator", "cp2": "29F5" }

2217 ASTERISK OPERATOR

COMMENT_LINE { "bullet": "*", "text": "may be used to represent the telephony asterisk seen on keypads" }

CROSS_REF { "name2": "asterisk", "cp2": "002A" }

2218 RING OPERATOR

ALIAS_LINE { "text": "composite function" }

ALIAS_LINE { "text": "APL jot" }

CROSS_REF { "name2": "degree sign", "cp2": "00B0" }

CROSS_REF { "name2": "devanagari abbreviation sign", "cp2": "0970" }

CROSS_REF { "name2": "white bullet", "cp2": "25E6" }

CROSS_REF { "name2": "avestan abbreviation mark", "cp2": "10B39" }

2219 BULLET OPERATOR

CROSS_REF { "name2": "middle dot", "cp2": "00B7" }

CROSS_REF { "name2": "bullet", "cp2": "2022" }

CROSS_REF { "name2": "one dot leader", "cp2": "2024" }

221A SQUARE ROOT

ALIAS_LINE { "text": "radical sign" }

CROSS_REF { "name2": "check mark", "cp2": "2713" }

221B CUBE ROOT

CROSS_REF { "name2": "arabic-indic cube root", "cp2": "0606" }

221C FOURTH ROOT

CROSS_REF { "name2": "arabic-indic fourth root", "cp2": "0607" }

221D PROPORTIONAL TO

CROSS_REF { "name2": "greek small letter alpha", "cp2": "03B1" }

Miscellaneous mathematical symbol

221E INFINITY

Angles

Other angle symbols are found at 299B-29AF.

221F RIGHT ANGLE

ALIAS_LINE { "text": "with (in chess notation)" }

CROSS_REF { "name2": "reversed right angle", "cp2": "2BFE" }

2220 ANGLE

COMMENT_LINE { "bullet": "*", "text": "used in astrological contexts for aspect semisquare" }

CROSS_REF { "name2": "acute angle", "cp2": "299F" }

2221 MEASURED ANGLE
2222 SPHERICAL ANGLE

ALIAS_LINE { "text": "angle arc" }

Relations

2223 DIVIDES

ALIAS_LINE { "text": "such that" }

ALIAS_LINE { "text": "APL stile" }

CROSS_REF { "name2": "vertical line", "cp2": "007C" }

CROSS_REF { "name2": "latin letter dental click", "cp2": "01C0" }

2224 DOES NOT DIVIDE

COMMENT_LINE { "text": ": 2223 0338" }

2225 PARALLEL TO

CROSS_REF { "name2": "latin letter lateral click", "cp2": "01C1" }

CROSS_REF { "name2": "double vertical line", "cp2": "2016" }

2226 NOT PARALLEL TO

COMMENT_LINE { "text": ": 2225 0338" }

Logical and set operators

2227 LOGICAL AND

ALIAS_LINE { "text": "wedge, conjunction" }

CROSS_REF { "name2": "n-ary logical and", "cp2": "22C0" }

CROSS_REF { "name2": "up arrowhead", "cp2": "2303" }

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

2228 LOGICAL OR

ALIAS_LINE { "text": "vee, disjunction" }

CROSS_REF { "name2": "n-ary logical or", "cp2": "22C1" }

CROSS_REF { "name2": "down arrowhead", "cp2": "2304" }

CROSS_REF { "name2": "or with dot inside", "cp2": "27C7" }

2229 INTERSECTION

ALIAS_LINE { "text": "cap, hat" }

CROSS_REF { "name2": "n-ary intersection", "cp2": "22C2" }

COMMENT_LINE { "text": "~ 2229 FE00 with serifs" }

222A UNION

ALIAS_LINE { "text": "cup" }

CROSS_REF { "name2": "n-ary union", "cp2": "22C3" }

COMMENT_LINE { "text": "~ 222A FE00 with serifs" }

Integrals

222B INTEGRAL

CROSS_REF { "name2": "latin small letter esh", "cp2": "0283" }

222C DOUBLE INTEGRAL

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

222D TRIPLE INTEGRAL

CROSS_REF { "name2": "quadruple integral operator", "cp2": "2A0C" }

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

222E CONTOUR INTEGRAL

CROSS_REF { "name2": "integral around a point operator", "cp2": "2A15" }

222F SURFACE INTEGRAL

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

2230 VOLUME INTEGRAL

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

2231 CLOCKWISE INTEGRAL
2232 CLOCKWISE CONTOUR INTEGRAL
2233 ANTICLOCKWISE CONTOUR INTEGRAL

COMMENT_LINE { "bullet": "*", "text": "clockwise or anticlockwise arrows do not reverse during layout mirroring" }

Miscellaneous mathematical symbols

2234 THEREFORE

CROSS_REF { "name2": "historic site", "cp2": "26EC" }

2235 BECAUSE

Relations

2236 RATIO

COMMENT_LINE { "bullet": "*", "text": "preferred to 003A for denotation of division or scale in mathematical use" }

CROSS_REF { "name2": "colon", "cp2": "003A" }

2237 PROPORTION

Operator

2238 DOT MINUS

ALIAS_LINE { "text": "saturating subtraction" }

COMMENT_LINE { "bullet": "*", "text": "sometimes claimed as notation for symmetric set difference, but 2206 is preferred" }

Relation

2239 EXCESS

Operator

223A GEOMETRIC PROPORTION

Relations

223B HOMOTHETIC

CROSS_REF { "name2": "tilde operator with rising dots", "cp2": "2A6B" }

223C TILDE OPERATOR

ALIAS_LINE { "text": "varies with (proportional to)" }

ALIAS_LINE { "text": "difference between" }

ALIAS_LINE { "text": "similar to" }

ALIAS_LINE { "text": "not" }

ALIAS_LINE { "text": "cycle" }

ALIAS_LINE { "text": "APL tilde" }

CROSS_REF { "name2": "tilde", "cp2": "007E" }

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

CROSS_REF { "name2": "small tilde", "cp2": "02DC" }

223D REVERSED TILDE

ALIAS_LINE { "text": "lazy S" }

COMMENT_LINE { "bullet": "*", "text": "reversed tilde and lazy S are glyph variants" }

223E INVERTED LAZY S

ALIAS_LINE { "text": "most positive" }

Miscellaneous mathematical symbol

223F SINE WAVE

ALIAS_LINE { "text": "alternating current" }

Operator

2240 WREATH PRODUCT

Relations

2241 NOT TILDE

COMMENT_LINE { "text": ": 223C 0338" }

2242 MINUS TILDE
2243 ASYMPTOTICALLY EQUAL TO
2244 NOT ASYMPTOTICALLY EQUAL TO

COMMENT_LINE { "text": ": 2243 0338" }

2245 APPROXIMATELY EQUAL TO

CROSS_REF { "name2": "approximately equal or equal to", "cp2": "2A70" }

2246 APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
2247 NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO

COMMENT_LINE { "text": ": 2245 0338" }

2248 ALMOST EQUAL TO

ALIAS_LINE { "text": "asymptotic to" }

2249 NOT ALMOST EQUAL TO

COMMENT_LINE { "text": ": 2248 0338" }

224A ALMOST EQUAL OR EQUAL TO
224B TRIPLE TILDE
224C ALL EQUAL TO

COMMENT_LINE { "bullet": "*", "text": "reversed tilde and lazy S are glyph variants" }

224D EQUIVALENT TO
224E GEOMETRICALLY EQUIVALENT TO
224F DIFFERENCE BETWEEN
2250 APPROACHES THE LIMIT
2251 GEOMETRICALLY EQUAL TO
2252 APPROXIMATELY EQUAL TO OR THE IMAGE OF

ALIAS_LINE { "text": "nearly equals" }

2253 IMAGE OF OR APPROXIMATELY EQUAL TO
2254 COLON EQUALS
2255 EQUALS COLON
2256 RING IN EQUAL TO
2257 RING EQUAL TO

ALIAS_LINE { "text": "approximately equal to" }

2258 CORRESPONDS TO
2259 ESTIMATES

ALIAS_LINE { "text": "corresponds to" }

225A EQUIANGULAR TO
225B STAR EQUALS
225C DELTA EQUAL TO

ALIAS_LINE { "text": "equiangular" }

ALIAS_LINE { "text": "equal to by definition" }

225D EQUAL TO BY DEFINITION
225E MEASURED BY
225F QUESTIONED EQUAL TO
2260 NOT EQUAL TO

CROSS_REF { "name2": "equals sign", "cp2": "003D" }

CROSS_REF { "name2": "latin letter alveolar click", "cp2": "01C2" }

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

2261 IDENTICAL TO
2262 NOT IDENTICAL TO

COMMENT_LINE { "text": ": 2261 0338" }

2263 STRICTLY EQUIVALENT TO
2264 LESS-THAN OR EQUAL TO

CROSS_REF { "name2": "less-than sign", "cp2": "003C" }

2265 GREATER-THAN OR EQUAL TO

CROSS_REF { "name2": "greater-than sign", "cp2": "003E" }

2266 LESS-THAN OVER EQUAL TO
2267 GREATER-THAN OVER EQUAL TO
2268 LESS-THAN BUT NOT EQUAL TO

CROSS_REF { "name2": "less-than and single-line not equal to", "cp2": "2A87" }

COMMENT_LINE { "text": "~ 2268 FE00 with vertical stroke" }

2269 GREATER-THAN BUT NOT EQUAL TO

CROSS_REF { "name2": "greater-than and single-line not equal to", "cp2": "2A88" }

COMMENT_LINE { "text": "~ 2269 FE00 with vertical stroke" }

226A MUCH LESS-THAN

CROSS_REF { "name2": "left-pointing double angle quotation mark", "cp2": "00AB" }

226B MUCH GREATER-THAN

CROSS_REF { "name2": "right-pointing double angle quotation mark", "cp2": "00BB" }

226C BETWEEN

ALIAS_LINE { "text": "plaintiff, quantic" }

226D NOT EQUIVALENT TO

COMMENT_LINE { "text": ": 224D 0338" }

226E NOT LESS-THAN

COMMENT_LINE { "text": ": 003C 0338" }

226F NOT GREATER-THAN

COMMENT_LINE { "text": ": 003E 0338" }

2270 NEITHER LESS-THAN NOR EQUAL TO

COMMENT_LINE { "text": ": 2264 0338" }

2271 NEITHER GREATER-THAN NOR EQUAL TO

COMMENT_LINE { "text": ": 2265 0338" }

2272 LESS-THAN OR EQUIVALENT TO

COMMENT_LINE { "text": "~ 2272 FE00 following the slant of the lower leg" }

2273 GREATER-THAN OR EQUIVALENT TO

COMMENT_LINE { "text": "~ 2273 FE00 following the slant of the lower leg" }

2274 NEITHER LESS-THAN NOR EQUIVALENT TO

COMMENT_LINE { "text": ": 2272 0338" }

2275 NEITHER GREATER-THAN NOR EQUIVALENT TO

COMMENT_LINE { "text": ": 2273 0338" }

2276 LESS-THAN OR GREATER-THAN
2277 GREATER-THAN OR LESS-THAN
2278 NEITHER LESS-THAN NOR GREATER-THAN

COMMENT_LINE { "text": ": 2276 0338" }

2279 NEITHER GREATER-THAN NOR LESS-THAN

COMMENT_LINE { "text": ": 2277 0338" }

227A PRECEDES

ALIAS_LINE { "text": "lower rank than" }

CROSS_REF { "name2": "precedes under relation", "cp2": "22B0" }

227B SUCCEEDS

ALIAS_LINE { "text": "higher rank than" }

CROSS_REF { "name2": "succeeds under relation", "cp2": "22B1" }

227C PRECEDES OR EQUAL TO
227D SUCCEEDS OR EQUAL TO
227E PRECEDES OR EQUIVALENT TO
227F SUCCEEDS OR EQUIVALENT TO
2280 DOES NOT PRECEDE

COMMENT_LINE { "text": ": 227A 0338" }

2281 DOES NOT SUCCEED

COMMENT_LINE { "text": ": 227B 0338" }

2282 SUBSET OF

ALIAS_LINE { "text": "included in set" }

CROSS_REF { "name2": "left sideways u bracket", "cp2": "2E26" }

2283 SUPERSET OF

ALIAS_LINE { "text": "includes in set" }

CROSS_REF { "name2": "right sideways u bracket", "cp2": "2E27" }

2284 NOT A SUBSET OF

COMMENT_LINE { "text": ": 2282 0338" }

2285 NOT A SUPERSET OF

COMMENT_LINE { "text": ": 2283 0338" }

2286 SUBSET OF OR EQUAL TO
2287 SUPERSET OF OR EQUAL TO
2288 NEITHER A SUBSET OF NOR EQUAL TO

COMMENT_LINE { "text": ": 2286 0338" }

2289 NEITHER A SUPERSET OF NOR EQUAL TO

COMMENT_LINE { "text": ": 2287 0338" }

228A SUBSET OF WITH NOT EQUAL TO

COMMENT_LINE { "text": "~ 228A FE00 with stroke through bottom members" }

228B SUPERSET OF WITH NOT EQUAL TO

COMMENT_LINE { "text": "~ 228B FE00 with stroke through bottom members" }

Operators

228C MULTISET
228D MULTISET MULTIPLICATION

CROSS_REF { "name2": "n-ary union operator with dot", "cp2": "2A03" }

CROSS_REF { "name2": "intersection with dot", "cp2": "2A40" }

228E MULTISET UNION

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

CROSS_REF { "name2": "n-ary union operator with plus", "cp2": "2A04" }

Relations

228F SQUARE IMAGE OF
2290 SQUARE ORIGINAL OF
2291 SQUARE IMAGE OF OR EQUAL TO
2292 SQUARE ORIGINAL OF OR EQUAL TO

Operators

2293 SQUARE CAP

CROSS_REF { "name2": "n-ary square intersection operator", "cp2": "2A05" }

COMMENT_LINE { "text": "~ 2293 FE00 with serifs" }

2294 SQUARE CUP

CROSS_REF { "name2": "n-ary square union operator", "cp2": "2A06" }

COMMENT_LINE { "text": "~ 2294 FE00 with serifs" }

2295 CIRCLED PLUS

ALIAS_LINE { "text": "direct sum" }

ALIAS_LINE { "text": "vector pointing into page" }

CROSS_REF { "name2": "n-ary circled plus operator", "cp2": "2A01" }

CROSS_REF { "name2": "alchemical symbol for verdigris", "cp2": "1F728" }

COMMENT_LINE { "text": "~ 2295 FE00 with white rim" }

2296 CIRCLED MINUS

ALIAS_LINE { "text": "symmetric difference" }

CROSS_REF { "name2": "circle with horizontal bar", "cp2": "29B5" }

CROSS_REF { "name2": "alchemical symbol for salt", "cp2": "1F714" }

2297 CIRCLED TIMES

ALIAS_LINE { "text": "tensor product" }

ALIAS_LINE { "text": "vector pointing into page" }

CROSS_REF { "name2": "circled crossing lanes", "cp2": "26D2" }

CROSS_REF { "name2": "n-ary circled times operator", "cp2": "2A02" }

CROSS_REF { "name2": "circled x", "cp2": "2BBE" }

CROSS_REF { "name2": "lot of fortune", "cp2": "1F774" }

COMMENT_LINE { "text": "~ 2297 FE00 with white rim" }

2298 CIRCLED DIVISION SLASH
2299 CIRCLED DOT OPERATOR

ALIAS_LINE { "text": "direct product" }

ALIAS_LINE { "text": "vector pointing out of page" }

CROSS_REF { "name2": "latin letter bilabial click", "cp2": "0298" }

CROSS_REF { "name2": "sun", "cp2": "2609" }

CROSS_REF { "name2": "n-ary circled dot operator", "cp2": "2A00" }

229A CIRCLED RING OPERATOR

CROSS_REF { "name2": "apl functional symbol circle jot", "cp2": "233E" }

CROSS_REF { "name2": "bullseye", "cp2": "25CE" }

229B CIRCLED ASTERISK OPERATOR

CROSS_REF { "name2": "apl functional symbol circle star", "cp2": "235F" }

229C CIRCLED EQUALS

ALIAS_LINE { "text": "NoDerivatives (symbol used for Creative Commons licenses)" }

CROSS_REF { "name2": "circled cc", "cp2": "1F16D" }

COMMENT_LINE { "text": "~ 229C FE00 with equal sign touching the circle" }

229D CIRCLED DASH
229E SQUARED PLUS
229F SQUARED MINUS
22A0 SQUARED TIMES

CROSS_REF { "name2": "ballot box with x", "cp2": "2612" }

CROSS_REF { "name2": "squared saltire", "cp2": "26DD" }

CROSS_REF { "name2": "alchemical symbol for month", "cp2": "1F771" }

22A1 SQUARED DOT OPERATOR

CROSS_REF { "name2": "alchemical symbol for urine", "cp2": "1F755" }

CROSS_REF { "name2": "right open squared dot", "cp2": "1FBBC" }

22A2 RIGHT TACK

ALIAS_LINE { "text": "turnstile" }

ALIAS_LINE { "text": "proves, implies, yields" }

ALIAS_LINE { "text": "reducible" }

22A3 LEFT TACK

ALIAS_LINE { "text": "reverse turnstile" }

ALIAS_LINE { "text": "non-theorem, does not yield" }

Miscellaneous mathematical symbols

22A4 DOWN TACK

ALIAS_LINE { "text": "top" }

CROSS_REF { "name2": "raised interpolation marker", "cp2": "2E06" }

CROSS_REF { "name2": "alchemical symbol for crucible-4", "cp2": "1F768" }

22A5 UP TACK

ALIAS_LINE { "text": "base, bottom" }

CROSS_REF { "name2": "perpendicular", "cp2": "27C2" }

Relations

22A6 ASSERTION

ALIAS_LINE { "text": "reduces to" }

22A7 MODELS
22A8 TRUE

ALIAS_LINE { "text": "statement is true, valid" }

ALIAS_LINE { "text": "is a tautology" }

ALIAS_LINE { "text": "satisfies" }

ALIAS_LINE { "text": "results in" }

22A9 FORCES
22AA TRIPLE VERTICAL BAR RIGHT TURNSTILE
22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
22AC DOES NOT PROVE

COMMENT_LINE { "text": ": 22A2 0338" }

22AD NOT TRUE

COMMENT_LINE { "text": ": 22A8 0338" }

22AE DOES NOT FORCE

COMMENT_LINE { "text": ": 22A9 0338" }

22AF NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE

COMMENT_LINE { "text": ": 22AB 0338" }

22B0 PRECEDES UNDER RELATION

CROSS_REF { "name2": "precedes", "cp2": "227A" }

22B1 SUCCEEDS UNDER RELATION

CROSS_REF { "name2": "succeeds", "cp2": "227B" }

22B2 NORMAL SUBGROUP OF

CROSS_REF { "name2": "white left-pointing pointer", "cp2": "25C5" }

22B3 CONTAINS AS NORMAL SUBGROUP

CROSS_REF { "name2": "white right-pointing pointer", "cp2": "25BB" }

22B4 NORMAL SUBGROUP OF OR EQUAL TO
22B5 CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
22B6 ORIGINAL OF
22B7 IMAGE OF
22B8 MULTIMAP
22B9 HERMITIAN CONJUGATE MATRIX

Operators

22BA INTERCALATE
22BB XOR

CROSS_REF { "name2": "semisextile", "cp2": "26BA" }

22BC NAND

CROSS_REF { "name2": "projective", "cp2": "2305" }

CROSS_REF { "name2": "quincunx", "cp2": "26BB" }

22BD NOR

Miscellaneous mathematical symbols

22BE RIGHT ANGLE WITH ARC
22BF RIGHT TRIANGLE

N-ary operators

22C0 N-ARY LOGICAL AND

COMMENT_LINE { "bullet": "*", "text": "also used to denote the universal quantifier" }

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

22C1 N-ARY LOGICAL OR

COMMENT_LINE { "bullet": "*", "text": "also used to denote the existential quantifier" }

CROSS_REF { "name2": "logical or", "cp2": "2228" }

22C2 N-ARY INTERSECTION

ALIAS_LINE { "text": "z notation generalised intersection" }

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

22C3 N-ARY UNION

ALIAS_LINE { "text": "z notation generalised union" }

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

Operators

22C4 DIAMOND OPERATOR

CROSS_REF { "name2": "white diamond", "cp2": "25C7" }

CROSS_REF { "name2": "black small diamond", "cp2": "2B29" }

22C5 DOT OPERATOR

COMMENT_LINE { "bullet": "*", "text": "preferred to 00B7 for denotation of multiplication" }

CROSS_REF { "name2": "middle dot", "cp2": "00B7" }

22C6 STAR OPERATOR

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

CROSS_REF { "name2": "arabic five pointed star", "cp2": "066D" }

CROSS_REF { "name2": "black star", "cp2": "2605" }

CROSS_REF { "name2": "white medium star", "cp2": "2B50" }

22C7 DIVISION TIMES

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

CROSS_REF { "name2": "division sign", "cp2": "00F7" }

CROSS_REF { "name2": "multiplication x", "cp2": "2715" }

Relation

22C8 BOWTIE

CROSS_REF { "name2": "ocr bow tie", "cp2": "2445" }

Operators

22C9 LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
22CA RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
22CB LEFT SEMIDIRECT PRODUCT
22CC RIGHT SEMIDIRECT PRODUCT

CROSS_REF { "name2": "caret insertion point", "cp2": "2041" }

Relation

22CD REVERSED TILDE EQUALS

Logical operators

22CE CURLY LOGICAL OR
22CF CURLY LOGICAL AND

Relations

22D0 DOUBLE SUBSET
22D1 DOUBLE SUPERSET

Operators

22D2 DOUBLE INTERSECTION
22D3 DOUBLE UNION

Relations

22D4 PITCHFORK

ALIAS_LINE { "text": "proper intersection" }

22D5 EQUAL AND PARALLEL TO

CROSS_REF { "name2": "viewdata square", "cp2": "2317" }

22D6 LESS-THAN WITH DOT
22D7 GREATER-THAN WITH DOT
22D8 VERY MUCH LESS-THAN
22D9 VERY MUCH GREATER-THAN
22DA LESS-THAN EQUAL TO OR GREATER-THAN

COMMENT_LINE { "text": "~ 22DA FE00 with slanted equal" }

22DB GREATER-THAN EQUAL TO OR LESS-THAN

COMMENT_LINE { "text": "~ 22DB FE00 with slanted equal" }

22DC EQUAL TO OR LESS-THAN
22DD EQUAL TO OR GREATER-THAN
22DE EQUAL TO OR PRECEDES
22DF EQUAL TO OR SUCCEEDS
22E0 DOES NOT PRECEDE OR EQUAL

COMMENT_LINE { "text": ": 227C 0338" }

22E1 DOES NOT SUCCEED OR EQUAL

COMMENT_LINE { "text": ": 227D 0338" }

22E2 NOT SQUARE IMAGE OF OR EQUAL TO

COMMENT_LINE { "text": ": 2291 0338" }

22E3 NOT SQUARE ORIGINAL OF OR EQUAL TO

COMMENT_LINE { "text": ": 2292 0338" }

22E4 SQUARE IMAGE OF OR NOT EQUAL TO
22E5 SQUARE ORIGINAL OF OR NOT EQUAL TO
22E6 LESS-THAN BUT NOT EQUIVALENT TO
22E7 GREATER-THAN BUT NOT EQUIVALENT TO
22E8 PRECEDES BUT NOT EQUIVALENT TO
22E9 SUCCEEDS BUT NOT EQUIVALENT TO
22EA NOT NORMAL SUBGROUP OF

COMMENT_LINE { "text": ": 22B2 0338" }

22EB DOES NOT CONTAIN AS NORMAL SUBGROUP

COMMENT_LINE { "text": ": 22B3 0338" }

22EC NOT NORMAL SUBGROUP OF OR EQUAL TO

COMMENT_LINE { "text": ": 22B4 0338" }

22ED DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL

COMMENT_LINE { "text": ": 22B5 0338" }

Matrix ellipses

These four ellipsis characters are used for matrix row/column elision.

22EE VERTICAL ELLIPSIS

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

CROSS_REF { "name2": "horizontal ellipsis", "cp2": "2026" }

CROSS_REF { "name2": "presentation form for vertical horizontal ellipsis", "cp2": "FE19" }

22EF MIDLINE HORIZONTAL ELLIPSIS
22F0 UP RIGHT DIAGONAL ELLIPSIS
22F1 DOWN RIGHT DIAGONAL ELLIPSIS

Relations

22F2 ELEMENT OF WITH LONG HORIZONTAL STROKE
22F3 ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
22F4 SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
22F5 ELEMENT OF WITH DOT ABOVE
22F6 ELEMENT OF WITH OVERBAR
22F7 SMALL ELEMENT OF WITH OVERBAR
22F8 ELEMENT OF WITH UNDERBAR
22F9 ELEMENT OF WITH TWO HORIZONTAL STROKES
22FA CONTAINS WITH LONG HORIZONTAL STROKE
22FB CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
22FC SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
22FD CONTAINS WITH OVERBAR
22FE SMALL CONTAINS WITH OVERBAR
22FF Z NOTATION BAG MEMBERSHIP