summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/enctex/unimap.diff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-01-09 00:56:57 +0000
committerKarl Berry <karl@freefriends.org>2006-01-09 00:56:57 +0000
commitf07bb53970ee2ecc53f81a206a3d3a67ef665e4a (patch)
tree6f57a1d62971db79e5ff023bdfd83b22cb971dc9 /Master/texmf-dist/doc/generic/enctex/unimap.diff
parent007f67a693e4d031fd3d792df8e4d5f43e2cb2e7 (diff)
doc 6
git-svn-id: svn://tug.org/texlive/trunk@85 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/enctex/unimap.diff')
-rw-r--r--Master/texmf-dist/doc/generic/enctex/unimap.diff1402
1 files changed, 1402 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/enctex/unimap.diff b/Master/texmf-dist/doc/generic/enctex/unimap.diff
new file mode 100644
index 00000000000..2c8e2efa36f
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/enctex/unimap.diff
@@ -0,0 +1,1402 @@
+--- NamesList.txt 2004-06-11 17:12:47.000000000 +0200
++++ unimap.txt 2004-06-11 13:57:46.000000000 +0200
+@@ -469,6 +469,7 @@
+ 00AC NOT SIGN
+ = angled dash (in typography)
+ x (reversed not sign - 2310)
++ \ \neg
+ 00AD SOFT HYPHEN
+ = SHY
+ = discretionary hyphen
+@@ -488,8 +489,10 @@
+ x (combining ring above - 030A)
+ x (superscript zero - 2070)
+ x (ring operator - 2218)
++ \ \degree
+ 00B1 PLUS-MINUS SIGN
+ x (minus-or-plus sign - 2213)
++ \ \pm
+ 00B2 SUPERSCRIPT TWO
+ = squared
+ * other superscript digit characters: 2070-2079
+@@ -508,6 +511,7 @@
+ # 0020 0301
+ 00B5 MICRO SIGN
+ # 03BC greek small letter mu
++ \ \mu
+ 00B6 PILCROW SIGN
+ = PARAGRAPH SIGN
+ * section sign in some European usage
+@@ -608,6 +612,7 @@
+ @ Mathematical operator
+ 00D7 MULTIPLICATION SIGN
+ = z notation Cartesian product
++ \ \times
+ @ Letters
+ 00D8 LATIN CAPITAL LETTER O WITH STROKE
+ = LATIN CAPITAL LETTER O SLASH
+@@ -688,6 +693,7 @@
+ : 006F 0308
+ @ Mathematical operator
+ 00F7 DIVISION SIGN
++ \ \div
+ @ Letters
+ 00F8 LATIN SMALL LETTER O WITH STROKE
+ = LATIN SMALL LETTER O SLASH
+@@ -853,6 +859,7 @@
+ * Turkish, Azerbaijani
+ * uppercase is 0049
+ x (latin small letter i - 0069)
++ \ \imath
+ 0132 LATIN CAPITAL LIGATURE IJ
+ # 0049 004A
+ 0133 LATIN SMALL LIGATURE IJ
+@@ -2431,37 +2438,61 @@
+ 0390 GREEK SMALL LETTER IOTA WITH DIALYTIKA AND TONOS
+ : 03CA 0301
+ 0391 GREEK CAPITAL LETTER ALPHA
++ \ \Alpha
+ 0392 GREEK CAPITAL LETTER BETA
++ \ \Beta
+ 0393 GREEK CAPITAL LETTER GAMMA
+ = gamma function
++ \ \Gamma
+ 0394 GREEK CAPITAL LETTER DELTA
+ x (increment - 2206)
++ \ \Delta
+ 0395 GREEK CAPITAL LETTER EPSILON
++ \ \Epsilon
+ 0396 GREEK CAPITAL LETTER ZETA
++ \ \Zeta
+ 0397 GREEK CAPITAL LETTER ETA
++ \ \Eta
+ 0398 GREEK CAPITAL LETTER THETA
++ \ \Theta
+ 0399 GREEK CAPITAL LETTER IOTA
+ = iota adscript
++ \ \Iota
+ 039A GREEK CAPITAL LETTER KAPPA
++ \ \Kappa
+ 039B GREEK CAPITAL LETTER LAMDA
++ \ \Lambda
+ 039C GREEK CAPITAL LETTER MU
++ \ \Mu
+ 039D GREEK CAPITAL LETTER NU
++ \ \Nu
+ 039E GREEK CAPITAL LETTER XI
++ \ \Xi
+ 039F GREEK CAPITAL LETTER OMICRON
++ \ \Omicron
+ 03A0 GREEK CAPITAL LETTER PI
+ x (n-ary product - 220F)
++ \ \Pi
+ 03A1 GREEK CAPITAL LETTER RHO
++ \ \Rho
+ 03A3 GREEK CAPITAL LETTER SIGMA
+ x (latin capital letter esh - 01A9)
+ x (n-ary summation - 2211)
++ \ \Sigma
+ 03A4 GREEK CAPITAL LETTER TAU
++ \ \Tau
+ 03A5 GREEK CAPITAL LETTER UPSILON
++ \ \Upsilon
+ 03A6 GREEK CAPITAL LETTER PHI
++ \ \Phi
+ 03A7 GREEK CAPITAL LETTER CHI
++ \ \Psi
+ 03A8 GREEK CAPITAL LETTER PSI
++ \ \Psi
+ 03A9 GREEK CAPITAL LETTER OMEGA
+ x (ohm sign - 2126)
+ x (inverted ohm sign - 2127)
++ \ \Omega
+ 03AA GREEK CAPITAL LETTER IOTA WITH DIALYTIKA
+ : 0399 0308
+ 03AB GREEK CAPITAL LETTER UPSILON WITH DIALYTIKA
+@@ -2479,51 +2510,76 @@
+ 03B1 GREEK SMALL LETTER ALPHA
+ x (latin small letter alpha - 0251)
+ x (proportional to - 221D)
++ \ \alpha
+ 03B2 GREEK SMALL LETTER BETA
+ x (latin small letter sharp s - 00DF)
+ x (latin small letter b with stroke - 0180)
++ \ \beta
+ 03B3 GREEK SMALL LETTER GAMMA
+ x (latin small letter gamma - 0263)
++ \ \gamma
+ 03B4 GREEK SMALL LETTER DELTA
++ \ \delta
+ 03B5 GREEK SMALL LETTER EPSILON
+ x (latin small letter open e - 025B)
++ \ \varepsilon
+ 03B6 GREEK SMALL LETTER ZETA
++ \ \zeta
+ 03B7 GREEK SMALL LETTER ETA
++ \ \eta
+ 03B8 GREEK SMALL LETTER THETA
+ x (latin small letter barred o - 0275)
+ x (cyrillic small letter fita - 0473)
++ \ \theta
+ 03B9 GREEK SMALL LETTER IOTA
+ x (latin small letter iota - 0269)
+ x (turned greek small letter iota - 2129)
++ \ \iota
+ 03BA GREEK SMALL LETTER KAPPA
++ \ \kappa
+ 03BB GREEK SMALL LETTER LAMDA
+ = lambda
++ \ \lambda
+ 03BC GREEK SMALL LETTER MU
+ x (micro sign - 00B5)
++ \ \mu
+ 03BD GREEK SMALL LETTER NU
++ \ \nu
+ 03BE GREEK SMALL LETTER XI
++ \ \xi
+ 03BF GREEK SMALL LETTER OMICRON
++ \ \omicron
+ 03C0 GREEK SMALL LETTER PI
+ * math constant 3.141592...
++ \ \pi
+ 03C1 GREEK SMALL LETTER RHO
++ \ \rho
+ 03C2 GREEK SMALL LETTER FINAL SIGMA
+ = stigma (the Modern Greek name for this letterform)
+ * not to be confused with the actual stigma letter
+ x (greek small letter stigma - 03DB)
++ \ \varsigma
+ 03C3 GREEK SMALL LETTER SIGMA
+ * used symbolically with a numeric value 200
++ \ \sigma
+ 03C4 GREEK SMALL LETTER TAU
++ \ \tau
+ 03C5 GREEK SMALL LETTER UPSILON
+ x (latin small letter upsilon - 028A)
+ x (latin small letter v with hook - 028B)
++ \ \upsilon
+ 03C6 GREEK SMALL LETTER PHI
+ x (latin small letter phi - 0278)
+ x (greek phi symbol - 03D5)
+ * the ordinary Greek letter, showing considerable glyph variation
+ * in mathematical contexts, the loopy glyph is preferred, to contrast with 03D5
++ \ \varphi
+ 03C7 GREEK SMALL LETTER CHI
++ \ \chi
+ 03C8 GREEK SMALL LETTER PSI
++ \ \psi
+ 03C9 GREEK SMALL LETTER OMEGA
++ \ \omega
+ 03CA GREEK SMALL LETTER IOTA WITH DIALYTIKA
+ : 03B9 0308
+ 03CB GREEK SMALL LETTER UPSILON WITH DIALYTIKA
+@@ -2542,6 +2598,7 @@
+ = GREEK SMALL LETTER SCRIPT THETA
+ * used as a technical symbol
+ # 03B8 greek small letter theta
++ \ \vartheta
+ 03D2 GREEK UPSILON WITH HOOK SYMBOL
+ = GREEK CAPITAL LETTER UPSILON HOOK
+ # 03A5 greek capital letter upsilon
+@@ -2555,11 +2612,13 @@
+ * used as a technical symbol, with a stroked glyph
+ * maps to "phi1" symbol entities
+ # 03C6 greek small letter phi
++ \ \phi
+ 03D6 GREEK PI SYMBOL
+ = GREEK SMALL LETTER OMEGA PI
+ * used as a technical symbol
+ * a variant of pi, looking like omega
+ # 03C0 greek small letter pi
++ \ \varpi
+ 03D7 GREEK KAI SYMBOL
+ * used as an ampersand
+ @ Archaic letters
+@@ -2601,10 +2660,12 @@
+ = GREEK SMALL LETTER SCRIPT KAPPA
+ * used as technical symbol
+ # 03BA greek small letter kappa
++ \ \varkappa
+ 03F1 GREEK RHO SYMBOL
+ = GREEK SMALL LETTER TAILED RHO
+ * used as technical symbol
+ # 03C1 greek small letter rho
++ \ \varrho
+ 03F2 GREEK LUNATE SIGMA SYMBOL
+ = GREEK SMALL LETTER LUNATE SIGMA
+ # 03C2 greek small letter final sigma
+@@ -2618,9 +2679,11 @@
+ = straight epsilon
+ x (small element of - 220A)
+ # 03B5 greek small letter epsilon
++ \ \epsilon
+ 03F6 GREEK REVERSED LUNATE EPSILON SYMBOL
+ = reversed straight epsilon
+ x (small contains as member - 220D)
++ \ \backepsilon
+ @ Additional archaic letters for Bactrian
+ 03F7 GREEK CAPITAL LETTER SHO
+ 03F8 GREEK SMALL LETTER SHO
+@@ -9309,6 +9372,7 @@
+ = three dot leader
+ x (vertical ellipsis - 22EE)
+ # 002E 002E 002E
++ \ \ldots
+ 2027 HYPHENATION POINT
+ @ Formatting characters
+ 2028 LINE SEPARATOR
+@@ -9662,6 +9726,7 @@
+ 2103 DEGREE CELSIUS
+ = degrees Centigrade
+ # 00B0 0043
++ \ \degreeC
+ 2104 CENTRE LINE SYMBOL
+ = clone
+ 2105 CARE OF
+@@ -9674,6 +9739,7 @@
+ 2108 SCRUPLE
+ 2109 DEGREE FAHRENHEIT
+ # 00B0 0046
++ \ \degreeF
+ 210A SCRIPT SMALL G
+ = real number symbol
+ # <font> 0067 latin small letter g
+@@ -9690,11 +9756,13 @@
+ 210F PLANCK CONSTANT OVER TWO PI
+ x (cyrillic small letter tshe - 045B)
+ # <font> 0127 latin small letter h with stroke
++ \ \hbar
+ 2110 SCRIPT CAPITAL I
+ # <font> 0049 latin capital letter i
+ 2111 BLACK-LETTER CAPITAL I
+ = imaginary part
+ # <font> 0049 latin capital letter i
++ \ \Im
+ 2112 SCRIPT CAPITAL L
+ = Laplace symbol
+ # <font> 004C latin capital letter l
+@@ -9705,6 +9773,7 @@
+ * the SI recommended symbol for liter is 006C
+ x (mathematical script small l - 1D4C1)
+ # <font> 006C latin small letter l
++ \ \ell
+ 2114 L B BAR SYMBOL
+ = pounds
+ 2115 DOUBLE-STRUCK CAPITAL N
+@@ -9719,6 +9788,7 @@
+ 2118 SCRIPT CAPITAL P
+ = Weierstrass elliptic function
+ * actually this has the form of a lowercase calligraphic p, despite its name
++ \ \wp
+ 2119 DOUBLE-STRUCK CAPITAL P
+ # <font> 0050 latin capital letter p
+ 211A DOUBLE-STRUCK CAPITAL Q
+@@ -9730,6 +9800,7 @@
+ 211C BLACK-LETTER CAPITAL R
+ = real part
+ # <font> 0052 latin capital letter r
++ \ \Re
+ 211D DOUBLE-STRUCK CAPITAL R
+ = the set of real numbers
+ # <font> 0052 latin capital letter r
+@@ -9753,12 +9824,14 @@
+ * SI unit of resistance, named after G. S. Ohm, German physicist
+ * preferred representation is 03A9
+ : 03A9 greek capital letter omega
++ \ \Omega
+ 2127 INVERTED OHM SIGN
+ = MHO
+ * archaic unit of conductance (= the SI unit siemens)
+ * typographically a turned greek capital letter omega
+ x (latin capital letter upsilon - 01B1)
+ x (greek capital letter omega - 03A9)
++ \ \mho
+ 2128 BLACK-LETTER CAPITAL Z
+ # <font> 005A latin capital letter z
+ 2129 TURNED GREEK SMALL LETTER IOTA
+@@ -9766,10 +9839,12 @@
+ x (greek small letter iota - 03B9)
+ 212A KELVIN SIGN
+ : 004B latin capital letter k
++ \ \Kelvin
+ 212B ANGSTROM SIGN
+ * non SI length unit (=0.1 nm) named after A. J. Ångström, Swedish physicist
+ * preferred representation is 00C5
+ : 00C5 latin capital letter a with ring above
++ \ \Angstrom
+ 212C SCRIPT CAPITAL B
+ = Bernoulli function
+ # <font> 0042 latin capital letter b
+@@ -9789,6 +9864,7 @@
+ # <font> 0046 latin capital letter f
+ 2132 TURNED CAPITAL F
+ x (latin capital letter f - 0046)
++ \ \Finv
+ 2133 SCRIPT CAPITAL M
+ = M-matrix (physics)
+ = German Mark (not the current Deutsche Mark)
+@@ -9801,15 +9877,19 @@
+ 2135 ALEF SYMBOL
+ = first transfinite cardinal (countable)
+ # 05D0 hebrew letter alef
++ \ \aleph
+ 2136 BET SYMBOL
+ = second transfinite cardinal (the continuum)
+ # 05D1 hebrew letter bet
++ \ \beth
+ 2137 GIMEL SYMBOL
+ = third transfinite cardinal (functions of a real variable)
+ # 05D2 hebrew letter gimel
++ \ \gimel
+ 2138 DALET SYMBOL
+ = fourth transfinite cardinal
+ # 05D3 hebrew letter dalet
++ \ \daleth
+ @ Additional letterlike symbols
+ 2139 INFORMATION SOURCE
+ * intended for use with 20DD
+@@ -9891,68 +9971,100 @@
+ @ Roman numerals
+ 2160 ROMAN NUMERAL ONE
+ # 0049 latin capital letter i
++ \ \romannumI
+ 2161 ROMAN NUMERAL TWO
+ # 0049 0049
++ \ \romannumII
+ 2162 ROMAN NUMERAL THREE
+ # 0049 0049 0049
++ \ \romannumIII
+ 2163 ROMAN NUMERAL FOUR
+ # 0049 0056
++ \ \romannumIV
+ 2164 ROMAN NUMERAL FIVE
+ # 0056 latin capital letter v
++ \ \romannumV
+ 2165 ROMAN NUMERAL SIX
+ # 0056 0049
++ \ \romannumVI
+ 2166 ROMAN NUMERAL SEVEN
+ # 0056 0049 0049
++ \ \romannumVII
+ 2167 ROMAN NUMERAL EIGHT
+ # 0056 0049 0049 0049
++ \ \romannumVIII
+ 2168 ROMAN NUMERAL NINE
+ # 0049 0058
++ \ \romannumIX
+ 2169 ROMAN NUMERAL TEN
+ # 0058 latin capital letter x
++ \ \romannumX
+ 216A ROMAN NUMERAL ELEVEN
+ # 0058 0049
++ \ \romannumXI
+ 216B ROMAN NUMERAL TWELVE
+ # 0058 0049 0049
++ \ \romannumXII
+ 216C ROMAN NUMERAL FIFTY
+ # 004C latin capital letter l
++ \ \romannumL
+ 216D ROMAN NUMERAL ONE HUNDRED
+ # 0043 latin capital letter c
++ \ \romannumC
+ 216E ROMAN NUMERAL FIVE HUNDRED
+ # 0044 latin capital letter d
++ \ \romannumD
+ 216F ROMAN NUMERAL ONE THOUSAND
+ # 004D latin capital letter m
++ \ \romannumM
+ 2170 SMALL ROMAN NUMERAL ONE
+ # 0069 latin small letter i
++ \ \romannumi
+ 2171 SMALL ROMAN NUMERAL TWO
+ # 0069 0069
++ \ \romannumii
+ 2172 SMALL ROMAN NUMERAL THREE
+ # 0069 0069 0069
++ \ \romannumiii
+ 2173 SMALL ROMAN NUMERAL FOUR
+ # 0069 0076
++ \ \romannumiv
+ 2174 SMALL ROMAN NUMERAL FIVE
+ # 0076 latin small letter v
++ \ \romannumv
+ 2175 SMALL ROMAN NUMERAL SIX
+ # 0076 0069
++ \ \romannumvi
+ 2176 SMALL ROMAN NUMERAL SEVEN
+ # 0076 0069 0069
++ \ \romannumvii
+ 2177 SMALL ROMAN NUMERAL EIGHT
+ # 0076 0069 0069 0069
++ \ \romannumviii
+ 2178 SMALL ROMAN NUMERAL NINE
+ # 0069 0078
++ \ \romannumix
+ 2179 SMALL ROMAN NUMERAL TEN
+ # 0078 latin small letter x
++ \ \romannumx
+ 217A SMALL ROMAN NUMERAL ELEVEN
+ # 0078 0069
++ \ \romannumxi
+ 217B SMALL ROMAN NUMERAL TWELVE
+ # 0078 0069 0069
++ \ \romannumxii
+ 217C SMALL ROMAN NUMERAL FIFTY
+ # 006C latin small letter l
++ \ \romannuml
+ 217D SMALL ROMAN NUMERAL ONE HUNDRED
+ # 0063 latin small letter c
++ \ \romannumc
+ 217E SMALL ROMAN NUMERAL FIVE HUNDRED
+ # 0064 latin small letter d
++ \ \romannumd
+ 217F SMALL ROMAN NUMERAL ONE THOUSAND
+ # 006D latin small letter m
++ \ \romannumm
+ 2180 ROMAN NUMERAL ONE THOUSAND C D
+ 2181 ROMAN NUMERAL FIVE THOUSAND
+ 2182 ROMAN NUMERAL TEN THOUSAND
+@@ -9963,55 +10075,80 @@
+ @ Arrows
+ 2190 LEFTWARDS ARROW
+ x (combining leftwards arrow overlay - 20EA)
++ \ \leftarrow
+ 2191 UPWARDS ARROW
+ * IPA: egressive airflow
++ \ \uparrow
+ 2192 RIGHTWARDS ARROW
+ = z notation total function
++ \ \rightarrow
+ 2193 DOWNWARDS ARROW
+ * IPA: ingressive airflow
++ \ \downarrow
+ 2194 LEFT RIGHT ARROW
+ = z notation relation
++ \ \leftrightarrow
+ 2195 UP DOWN ARROW
++ \ \updownarrow
+ 2196 NORTH WEST ARROW
++ \ \nwarrow
+ 2197 NORTH EAST ARROW
++ \ \nearrow
+ 2198 SOUTH EAST ARROW
++ \ \searrow
+ 2199 SOUTH WEST ARROW
++ \ \swarrow
+ 219A LEFTWARDS ARROW WITH STROKE
+ * negation of 2190
+ : 2190 0338
++ \ \nleftarrow
+ 219B RIGHTWARDS ARROW WITH STROKE
+ * negation of 2192
+ : 2192 0338
++ \ \nrightarrow
+ 219C LEFTWARDS WAVE ARROW
+ 219D RIGHTWARDS WAVE ARROW
++ \ \leadsto
+ 219E LEFTWARDS TWO HEADED ARROW
++ \ \twoheadleftarrow
+ 219F UPWARDS TWO HEADED ARROW
+ 21A0 RIGHTWARDS TWO HEADED ARROW
+ = z notation total surjection
++ \ \twoheadrightarrow
+ 21A1 DOWNWARDS TWO HEADED ARROW
+ = form feed
+ 21A2 LEFTWARDS ARROW WITH TAIL
++ \ \leftarrowtail
+ 21A3 RIGHTWARDS ARROW WITH TAIL
++ \ \rightarrowtail
+ = z notation total injection
+ 21A4 LEFTWARDS ARROW FROM BAR
+ 21A5 UPWARDS ARROW FROM BAR
+ 21A6 RIGHTWARDS ARROW FROM BAR
+ = z notation maplet
++ \ \mapsto
+ 21A7 DOWNWARDS ARROW FROM BAR
+ = depth symbol
+ 21A8 UP DOWN ARROW WITH BASE
+ 21A9 LEFTWARDS ARROW WITH HOOK
++ \ \hookleftarrow
+ 21AA RIGHTWARDS ARROW WITH HOOK
++ \ \hookrightarrow
+ 21AB LEFTWARDS ARROW WITH LOOP
++ \ \looparrowright
+ 21AC RIGHTWARDS ARROW WITH LOOP
++ \ \looparrowleft
+ 21AD LEFT RIGHT WAVE ARROW
+ 21AE LEFT RIGHT ARROW WITH STROKE
+ * negation of 2194
+ : 2194 0338
++ \ \nleftrightarrow
+ 21AF DOWNWARDS ZIGZAG ARROW
+ = electrolysis
+ 21B0 UPWARDS ARROW WITH TIP LEFTWARDS
++ \ \Lsh
+ 21B1 UPWARDS ARROW WITH TIP RIGHTWARDS
++ \ \Rsh
+ 21B2 DOWNWARDS ARROW WITH TIP LEFTWARDS
+ 21B3 DOWNWARDS ARROW WITH TIP RIGHTWARDS
+ 21B4 RIGHTWARDS ARROW WITH CORNER DOWNWARDS
+@@ -10020,60 +10157,94 @@
+ * may indicate a carriage return or new line
+ x (return symbol - 23CE)
+ 21B6 ANTICLOCKWISE TOP SEMICIRCLE ARROW
++ \ \curvearrowleft
+ 21B7 CLOCKWISE TOP SEMICIRCLE ARROW
++ \ \curvearrowright
+ 21B8 NORTH WEST ARROW TO LONG BAR
+ = home
+ 21B9 LEFTWARDS ARROW TO BAR OVER RIGHTWARDS ARROW TO BAR
+ = tab with shift tab
+ 21BA ANTICLOCKWISE OPEN CIRCLE ARROW
++ \ \circlearrowleft
+ 21BB CLOCKWISE OPEN CIRCLE ARROW
++ \ \circlearrowright
+ 21BC LEFTWARDS HARPOON WITH BARB UPWARDS
++ \ \leftharpoonup
+ 21BD LEFTWARDS HARPOON WITH BARB DOWNWARDS
++ \ \leftharpoondown
+ 21BE UPWARDS HARPOON WITH BARB RIGHTWARDS
++ \ \upharpoonright
+ 21BF UPWARDS HARPOON WITH BARB LEFTWARDS
++ \ \upharpoonleft
+ 21C0 RIGHTWARDS HARPOON WITH BARB UPWARDS
++ \ \rightharpoonup
+ 21C1 RIGHTWARDS HARPOON WITH BARB DOWNWARDS
++ \ \rightharpoondown
+ 21C2 DOWNWARDS HARPOON WITH BARB RIGHTWARDS
++ \ \downharpoonright
+ 21C3 DOWNWARDS HARPOON WITH BARB LEFTWARDS
++ \ \downharpoonleft
+ 21C4 RIGHTWARDS ARROW OVER LEFTWARDS ARROW
++ \ \rightleftarrows
+ 21C5 UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
+ 21C6 LEFTWARDS ARROW OVER RIGHTWARDS ARROW
++ \ \leftrightarrows
+ 21C7 LEFTWARDS PAIRED ARROWS
++ \ \leftleftarrows
+ 21C8 UPWARDS PAIRED ARROWS
++ \ \upuparrows
+ 21C9 RIGHTWARDS PAIRED ARROWS
++ \ \rightrightarrows
+ 21CA DOWNWARDS PAIRED ARROWS
++ \ \downdownarrows
+ 21CB LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
++ \ \leftrightharpoons
+ 21CC RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
++ \ \rightleftharpoons
+ 21CD LEFTWARDS DOUBLE ARROW WITH STROKE
+ * negation of 21D0
+ : 21D0 0338
++ \ \nLeftarrow
+ 21CE LEFT RIGHT DOUBLE ARROW WITH STROKE
+ * negation of 21D4
+ : 21D4 0338
++ \ \nLeftrightarrow
+ 21CF RIGHTWARDS DOUBLE ARROW WITH STROKE
+ * negation of 21D2
+ : 21D2 0338
++ \ \nRightarrow
+ 21D0 LEFTWARDS DOUBLE ARROW
++ \ \Leftarrow
+ 21D1 UPWARDS DOUBLE ARROW
++ \ \Uparrow
+ 21D2 RIGHTWARDS DOUBLE ARROW
++ \ \Rightarrow
+ 21D3 DOWNWARDS DOUBLE ARROW
++ \ \Downarrow
+ 21D4 LEFT RIGHT DOUBLE ARROW
++ \ \Leftrightarrow
+ 21D5 UP DOWN DOUBLE ARROW
++ \ \Updownarrow
+ 21D6 NORTH WEST DOUBLE ARROW
+ 21D7 NORTH EAST DOUBLE ARROW
+ 21D8 SOUTH EAST DOUBLE ARROW
+ 21D9 SOUTH WEST DOUBLE ARROW
+ 21DA LEFTWARDS TRIPLE ARROW
++ \ \Lleftarrow
+ 21DB RIGHTWARDS TRIPLE ARROW
++ \ \Rrightarrow
+ 21DC LEFTWARDS SQUIGGLE ARROW
+ 21DD RIGHTWARDS SQUIGGLE ARROW
++ \ \rightsquigarrow
+ 21DE UPWARDS ARROW WITH DOUBLE STROKE
+ = page up
+ 21DF DOWNWARDS ARROW WITH DOUBLE STROKE
+ = page down
+ 21E0 LEFTWARDS DASHED ARROW
++ \ \dashleftarrow
+ 21E1 UPWARDS DASHED ARROW
+ 21E2 RIGHTWARDS DASHED ARROW
++ \ \dashrightarrow
+ 21E3 DOWNWARDS DASHED ARROW
+ 21E4 LEFTWARDS ARROW TO BAR
+ = leftward tab
+@@ -10123,27 +10294,36 @@
+ @@ 2200 Mathematical Operators 22FF
+ @ Mathematical operators
+ 2200 FOR ALL
++ \ \forall
+ 2201 COMPLEMENT
+ x (latin letter stretched c - 0297)
++ \ \complement
+ 2202 PARTIAL DIFFERENTIAL
++ \ \partial
+ 2203 THERE EXISTS
++ \ \exists
+ 2204 THERE DOES NOT EXIST
+ : 2203 0338
++ \ \nexists
+ 2205 EMPTY SET
+ = null set
+ x (latin capital letter o with stroke - 00D8)
+ x (diameter sign - 2300)
++ \ \emptyset
+ 2206 INCREMENT
+ = Laplace operator
+ = forward difference
+ x (greek capital letter delta - 0394)
+ x (white up-pointing triangle - 25B3)
++ \ \Delta
+ 2207 NABLA
+ = Laplace operator (written with superscript 2)
+ = backward difference
+ = del
+ x (white down-pointing triangle - 25BD)
++ \ \nabla
+ 2208 ELEMENT OF
++ \ \in
+ 2209 NOT AN ELEMENT OF
+ : 2208 0338
+ 220A SMALL ELEMENT OF
+@@ -10151,6 +10331,7 @@
+ x (greek lunate epsilon symbol - 03F5)
+ 220B CONTAINS AS MEMBER
+ = such that
++ \ \ni
+ 220C DOES NOT CONTAIN AS MEMBER
+ : 220B 0338
+ 220D SMALL CONTAINS AS MEMBER
+@@ -10159,77 +10340,104 @@
+ = Q.E.D.
+ x (triangular bullet - 2023)
+ x (black vertical rectangle - 25AE)
++ \ \blacksquare
+ 220F N-ARY PRODUCT
+ = product sign
+ x (greek capital letter pi - 03A0)
++ \ \prod
+ 2210 N-ARY COPRODUCT
+ = coproduct sign
++ \ \coprod
+ 2211 N-ARY SUMMATION
+ = summation sign
+ x (greek capital letter sigma - 03A3)
++ \ \sum
+ 2212 MINUS SIGN
+ x (hyphen-minus - 002D)
++ \ \utfminus
+ 2213 MINUS-OR-PLUS SIGN
+ x (plus-minus sign - 00B1)
++ \ \mp
+ 2214 DOT PLUS
++ \ \dotplus
+ 2215 DIVISION SLASH
+ * generic division operator
+ x (solidus - 002F)
+ x (fraction slash - 2044)
++ \ \utfslash
+ 2216 SET MINUS
+ x (reverse solidus - 005C)
++ \ \setminus
+ 2217 ASTERISK OPERATOR
+ x (asterisk - 002A)
++ \ \ast
+ 2218 RING OPERATOR
+ = composite function
+ = APL jot
+ x (degree sign - 00B0)
+ x (white bullet - 25E6)
++ \ \circ
+ 2219 BULLET OPERATOR
+ x (middle dot - 00B7)
+ x (bullet - 2022)
+ x (one dot leader - 2024)
++ \ \bullet
+ 221A SQUARE ROOT
+ = radical sign
+ x (check mark - 2713)
++ \ \surd
+ 221B CUBE ROOT
+ 221C FOURTH ROOT
+ 221D PROPORTIONAL TO
+ x (greek small letter alpha - 03B1)
++ \ \propto
+ 221E INFINITY
++ \ \infty
+ 221F RIGHT ANGLE
+ 2220 ANGLE
++ \ \angle
+ 2221 MEASURED ANGLE
++ \ \measuredangle
+ 2222 SPHERICAL ANGLE
+ = angle arc
++ \ \sphericalangle
+ 2223 DIVIDES
+ = such that
+ = APL stile
+ x (vertical line - 007C)
+ x (latin letter dental click - 01C0)
++ \ \mid
+ 2224 DOES NOT DIVIDE
+ : 2223 0338
++ \ \nmid
+ 2225 PARALLEL TO
+ x (latin letter lateral click - 01C1)
+ x (double vertical line - 2016)
++ \ \parallel
+ 2226 NOT PARALLEL TO
+ : 2225 0338
++ \ \nparallel
+ 2227 LOGICAL AND
+ = wedge, conjunction
+ x (n-ary logical and - 22C0)
+ x (up arrowhead - 2303)
++ \ \land
+ 2228 LOGICAL OR
+ = vee, disjunction
+ x (n-ary logical or - 22C1)
+ x (down arrowhead - 2304)
++ \ \lor
+ 2229 INTERSECTION
+ = cap, hat
+ x (n-ary intersection - 22C2)
++ \ \cap
+ 222A UNION
+ = cup
+ x (n-ary union - 22C3)
++ \ \cup
+ 222B INTEGRAL
+ x (latin small letter esh - 0283)
++ \ \intop
+ 222C DOUBLE INTEGRAL
+ # 222B 222B
+ 222D TRIPLE INTEGRAL
+@@ -10237,6 +10445,7 @@
+ # 222B 222B 222B
+ 222E CONTOUR INTEGRAL
+ x (integral around a point operator - 2A15)
++ \ \ointop
+ 222F SURFACE INTEGRAL
+ # 222E 222E
+ 2230 VOLUME INTEGRAL
+@@ -10246,9 +10455,12 @@
+ 2233 ANTICLOCKWISE CONTOUR INTEGRAL
+ * clockwise or anticlockwise arrows do not reverse during layout mirroring
+ 2234 THEREFORE
++ \ \therefore
+ 2235 BECAUSE
++ \ \because
+ 2236 RATIO
+ x (colon - 003A)
++ \ \ratio
+ 2237 PROPORTION
+ 2238 DOT MINUS
+ = symmetric difference
+@@ -10266,26 +10478,33 @@
+ x (tilde - 007E)
+ x (not sign - 00AC)
+ x (small tilde - 02DC)
++ \ \sim
+ 223D REVERSED TILDE (lazy S)
+ = lazy S
+ * reversed tilde and lazy S are glyph variants
++ \ \backsim
+ 223E INVERTED LAZY S
+ = most positive
+ 223F SINE WAVE
+ = alternating current
+ 2240 WREATH PRODUCT
++ \ \wr
+ 2241 NOT TILDE
+ : 223C 0338
++ \ \nsim
+ 2242 MINUS TILDE
+ 2243 ASYMPTOTICALLY EQUAL TO
++ \ \simeq
+ 2244 NOT ASYMPTOTICALLY EQUAL TO
+ : 2243 0338
+ 2245 APPROXIMATELY EQUAL TO
++ \ \cong
+ 2246 APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
+ 2247 NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
+ : 2245 0338
+ 2248 ALMOST EQUAL TO
+ = asymptotic to
++ \ \approx
+ 2249 NOT ALMOST EQUAL TO
+ : 2248 0338
+ 224A ALMOST EQUAL OR EQUAL TO
+@@ -10293,18 +10512,27 @@
+ 224C ALL EQUAL TO
+ * reversed tilde and lazy S are glyph variants
+ 224D EQUIVALENT TO
++ \ \asymp
+ 224E GEOMETRICALLY EQUIVALENT TO
++ \ \Bumpeq
+ 224F DIFFERENCE BETWEEN
++ \ \bumpeq
+ 2250 APPROACHES THE LIMIT
++ \ \doteq
+ 2251 GEOMETRICALLY EQUAL TO
++ \ \doteqdot
+ 2252 APPROXIMATELY EQUAL TO OR THE IMAGE OF
+ = nearly equals
++ \ \failingdoteq
+ 2253 IMAGE OF OR APPROXIMATELY EQUAL TO
++ \ \risingdoteq
+ 2254 COLON EQUALS
+ 2255 EQUALS COLON
+ 2256 RING IN EQUAL TO
++ \ \eqcirc
+ 2257 RING EQUAL TO
+ = approximately equal to
++ \ \circeq
+ 2258 CORRESPONDS TO
+ 2259 ESTIMATES
+ = corresponds to
+@@ -10313,6 +10541,7 @@
+ 225C DELTA EQUAL TO
+ = equiangular
+ = equal to by definition
++ \ \triangleq
+ 225D EQUAL TO BY DEFINITION
+ 225E MEASURED BY
+ 225F QUESTIONED EQUAL TO
+@@ -10320,40 +10549,59 @@
+ x (equals sign - 003D)
+ x (latin letter alveolar click - 01C2)
+ : 003D 0338
++ \ \neq
+ 2261 IDENTICAL TO
++ \ \equiv
+ 2262 NOT IDENTICAL TO
+ : 2261 0338
+ 2263 STRICTLY EQUIVALENT TO
+ 2264 LESS-THAN OR EQUAL TO
++ \ \leq
+ 2265 GREATER-THAN OR EQUAL TO
++ \ \geq
+ 2266 LESS-THAN OVER EQUAL TO
++ \ \leqq
+ 2267 GREATER-THAN OVER EQUAL TO
++ \ \geqq
+ 2268 LESS-THAN BUT NOT EQUAL TO
++ \ \lneqq
+ 2269 GREATER-THAN BUT NOT EQUAL TO
++ \ \gneqq
+ 226A MUCH LESS-THAN
+ x (left-pointing double angle quotation mark - 00AB)
++ \ \ll
+ 226B MUCH GREATER-THAN
+ x (right-pointing double angle quotation mark - 00BB)
++ \ \gg
+ 226C BETWEEN
+ = plaintiff, quantic
++ \ \between
+ 226D NOT EQUIVALENT TO
+ : 224D 0338
+ 226E NOT LESS-THAN
+ : 003C 0338
++ \ \nless
+ 226F NOT GREATER-THAN
+ : 003E 0338
++ \ \ngtr
+ 2270 NEITHER LESS-THAN NOR EQUAL TO
+ : 2264 0338
++ \ \nleq
+ 2271 NEITHER GREATER-THAN NOR EQUAL TO
+ : 2265 0338
++ \ \ngeq
+ 2272 LESS-THAN OR EQUIVALENT TO
++ \ \lesssim
+ 2273 GREATER-THAN OR EQUIVALENT TO
++ \ \gtrsim
+ 2274 NEITHER LESS-THAN NOR EQUIVALENT TO
+ : 2272 0338
+ 2275 NEITHER GREATER-THAN NOR EQUIVALENT TO
+ : 2273 0338
+ 2276 LESS-THAN OR GREATER-THAN
++ \ \lessgtr
+ 2277 GREATER-THAN OR LESS-THAN
++ \ \gtrless
+ 2278 NEITHER LESS-THAN NOR GREATER-THAN
+ : 2276 0338
+ 2279 NEITHER GREATER-THAN NOR LESS-THAN
+@@ -10361,33 +10609,49 @@
+ 227A PRECEDES
+ = lower rank than
+ x (precedes under relation - 22B0)
++ \ \prec
+ 227B SUCCEEDS
+ = higher rank than
+ x (succeeds under relation - 22B1)
++ \ \succ
+ 227C PRECEDES OR EQUAL TO
++ \ \preceq
+ 227D SUCCEEDS OR EQUAL TO
++ \ \succeq
+ 227E PRECEDES OR EQUIVALENT TO
++ \ \precsim
+ 227F SUCCEEDS OR EQUIVALENT TO
++ \ \succsim
+ 2280 DOES NOT PRECEDE
+ : 227A 0338
++ \ \nprec
+ 2281 DOES NOT SUCCEED
+ : 227B 0338
++ \ \nsucc
+ 2282 SUBSET OF
+ = included in set
++ \ \subset
+ 2283 SUPERSET OF
+ = includes in set
++ \ \supset
+ 2284 NOT A SUBSET OF
+ : 2282 0338
+ 2285 NOT A SUPERSET OF
+ : 2283 0338
+ 2286 SUBSET OF OR EQUAL TO
++ \ \subseteq
+ 2287 SUPERSET OF OR EQUAL TO
++ \ \supseteq
+ 2288 NEITHER A SUBSET OF NOR EQUAL TO
+ : 2286 0338
++ \ \nsubseteq
+ 2289 NEITHER A SUPERSET OF NOR EQUAL TO
+ : 2287 0338
++ \ \nsupseteq
+ 228A SUBSET OF WITH NOT EQUAL TO
++ \ \subsetneq
+ 228B SUPERSET OF WITH NOT EQUAL TO
++ \ \supsetneq
+ 228C MULTISET
+ 228D MULTISET MULTIPLICATION
+ x (n-ary union operator with dot - 2A03)
+@@ -10395,76 +10659,106 @@
+ 228E MULTISET UNION
+ = z notation bag addition
+ x (n-ary union operator with plus - 2A04)
++ \ \uplus
+ 228F SQUARE IMAGE OF
++ \ \sqsubset
+ 2290 SQUARE ORIGINAL OF
++ \ \sqsupset
+ 2291 SQUARE IMAGE OF OR EQUAL TO
++ \ \sqsubseteq
+ 2292 SQUARE ORIGINAL OF OR EQUAL TO
++ \ \sqsupseteq
+ 2293 SQUARE CAP
+ x (n-ary square intersection operator - 2A05)
++ \ \sqcap
+ 2294 SQUARE CUP
++ \ \sqcup
+ 2295 CIRCLED PLUS
+ = direct sum
+ = vector pointing into page
+ x (earth - 2641)
+ x (n-ary circled plus operator - 2A01)
++ \ \oplus
+ 2296 CIRCLED MINUS
+ = symmetric difference
+ x (circle with horizontal bar - 29B5)
++ \ \ominus
+ 2297 CIRCLED TIMES
+ = tensor product
+ = vector pointing into page
+ x (n-ary circled times operator - 2A02)
++ \ \otimes
+ 2298 CIRCLED DIVISION SLASH
++ \ \oslash
+ 2299 CIRCLED DOT OPERATOR
+ = direct product
+ = vector pointing out of page
+ x (latin letter bilabial click - 0298)
+ x (sun - 2609)
+ x (n-ary circled dot operator - 2A00)
++ \ \odot
+ 229A CIRCLED RING OPERATOR
+ x (apl functional symbol circle jot - 233E)
+ x (bullseye - 25CE)
++ \ \circledcirc
+ 229B CIRCLED ASTERISK OPERATOR
+ x (apl functional symbol circle star - 235F)
++ \ \circledast
+ 229C CIRCLED EQUALS
+ 229D CIRCLED DASH
++ \ \circleddash
+ 229E SQUARED PLUS
++ \ \boxplus
+ 229F SQUARED MINUS
++ \ \boxminus
+ 22A0 SQUARED TIMES
+ x (ballot box with x - 2612)
++ \ \boxtimes
+ 22A1 SQUARED DOT OPERATOR
++ \ \boxdot
+ 22A2 RIGHT TACK
+ = turnstile
+ = proves, implies, yields
+ = reducible
++ \ \vdash
+ 22A3 LEFT TACK
+ = reverse turnstile
+ = non-theorem, does not yield
++ \ \dashv
+ 22A4 DOWN TACK
+ = top
++ \ \top
+ 22A5 UP TACK
+ = orthogonal to
+ = perpendicular
+ = base, bottom
++ \ \bot
+ 22A6 ASSERTION
+ = reduces to
+ 22A7 MODELS
++ \ \models
+ 22A8 TRUE
+ = statement is true, valid
+ = is a tautology
+ = satisfies
+ = results in
+ 22A9 FORCES
++ \ \Vdash
+ 22AA TRIPLE VERTICAL BAR RIGHT TURNSTILE
++ \ \Vvdash
+ 22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
+ 22AC DOES NOT PROVE
+ : 22A2 0338
++ \ \nvdash
+ 22AD NOT TRUE
+ : 22A8 0338
++ \ \nvDash
+ 22AE DOES NOT FORCE
+ : 22A9 0338
++ \ \nVdash
+ 22AF NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
+ : 22AB 0338
++ \ \nVDash
+ 22B0 PRECEDES UNDER RELATION
+ x (precedes - 227A)
+ 22B1 SUCCEEDS UNDER RELATION
+@@ -10478,65 +10772,98 @@
+ 22B6 ORIGINAL OF
+ 22B7 IMAGE OF
+ 22B8 MULTIMAP
++ \ \multimap
+ 22B9 HERMITIAN CONJUGATE MATRIX
+ 22BA INTERCALATE
++ \ \intercal
+ 22BB XOR
++ \ \veebar
+ 22BC NAND
+ x (projective - 2305)
++ \ \barwedge
+ 22BD NOR
+ 22BE RIGHT ANGLE WITH ARC
+ 22BF RIGHT TRIANGLE
+ 22C0 N-ARY LOGICAL AND
+ x (logical and - 2227)
++ \ \bigwedge
+ 22C1 N-ARY LOGICAL OR
+ x (logical or - 2228)
++ \ \bigvee
+ 22C2 N-ARY INTERSECTION
+ = z notation generalised intersection
+ x (intersection - 2229)
++ \ \bigcap
+ 22C3 N-ARY UNION
+ = z notation generalised union
+ x (union - 222A)
++ \ \bigcup
+ 22C4 DIAMOND OPERATOR
+ x (white diamond - 25C7)
++ \ \diamond
+ 22C5 DOT OPERATOR
+ x (middle dot - 00B7)
++ \ \cdot
+ 22C6 STAR OPERATOR
+ * APL
+ x (arabic five pointed star - 066D)
+ x (black star - 2605)
++ \ \star
+ 22C7 DIVISION TIMES
++ \ \divideontimes
+ 22C8 BOWTIE
+ x (ocr bow tie - 2445)
++ \ \bowtie
+ 22C9 LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
++ \ \ltimes
+ 22CA RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
++ \ \rtimes
+ 22CB LEFT SEMIDIRECT PRODUCT
++ \ \leftthreetimes
+ 22CC RIGHT SEMIDIRECT PRODUCT
+ x (caret insertion point - 2041)
++ \ \rightthreetimes
+ 22CD REVERSED TILDE EQUALS
++ \ \backsimeq
+ 22CE CURLY LOGICAL OR
++ \ \curlyvee
+ 22CF CURLY LOGICAL AND
++ \ \curlywedge
+ 22D0 DOUBLE SUBSET
++ \ \Subset
+ 22D1 DOUBLE SUPERSET
++ \ \Supset
+ 22D2 DOUBLE INTERSECTION
++ \ \Cap
+ 22D3 DOUBLE UNION
++ \ \Cup
+ 22D4 PITCHFORK
+ = proper intersection
++ \ \pitchfork
+ 22D5 EQUAL AND PARALLEL TO
+ x (viewdata square - 2317)
+ 22D6 LESS-THAN WITH DOT
++ \ \lessdot
+ 22D7 GREATER-THAN WITH DOT
++ \ \grtdot
+ 22D8 VERY MUCH LESS-THAN
++ \ \ggg
+ 22D9 VERY MUCH GREATER-THAN
++ \ \lll
+ 22DA LESS-THAN EQUAL TO OR GREATER-THAN
++ \ \lesseqqgtr
+ 22DB GREATER-THAN EQUAL TO OR LESS-THAN
++ \ \grteqqless
+ 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
+ : 227C 0338
++ \ \npreceq
+ 22E1 DOES NOT SUCCEED OR EQUAL
+ : 227D 0338
++ \ \nsucceq
+ 22E2 NOT SQUARE IMAGE OF OR EQUAL TO
+ : 2291 0338
+ 22E3 NOT SQUARE ORIGINAL OF OR EQUAL TO
+@@ -10544,7 +10871,9 @@
+ 22E4 SQUARE IMAGE OF OR NOT EQUAL TO
+ 22E5 SQUARE ORIGINAL OF OR NOT EQUAL TO
+ 22E6 LESS-THAN BUT NOT EQUIVALENT TO
++ \ \lnsim
+ 22E7 GREATER-THAN BUT NOT EQUIVALENT TO
++ \ \gnsim
+ 22E8 PRECEDES BUT NOT EQUIVALENT TO
+ 22E9 SUCCEEDS BUT NOT EQUIVALENT TO
+ 22EA NOT NORMAL SUBGROUP OF
+@@ -10558,9 +10887,12 @@
+ 22EE VERTICAL ELLIPSIS
+ * these four ellipses are used for matrix row/column elision
+ x (horizontal ellipsis - 2026)
++ \ \vdots
+ 22EF MIDLINE HORIZONTAL ELLIPSIS
++ \ \cdots
+ 22F0 UP RIGHT DIAGONAL ELLIPSIS
+ 22F1 DOWN RIGHT DIAGONAL ELLIPSIS
++ \ \ddots
+ 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
+@@ -10579,6 +10911,7 @@
+ @ Miscellaneous technical
+ 2300 DIAMETER SIGN
+ x (empty set - 2205)
++ \ \varemptyset
+ 2301 ELECTRIC ARROW
+ * from ISO 2047
+ * symbol for End of Transmission
+@@ -10602,12 +10935,16 @@
+ 2308 LEFT CEILING
+ = APL upstile
+ x (left corner bracket - 300C)
++ \ \lceil
+ 2309 RIGHT CEILING
+ x (combining annuity symbol - 20E7)
++ \ \rceil
+ 230A LEFT FLOOR
+ = APL downstile
++ \ \lfloor
+ 230B RIGHT FLOOR
+ x (right corner bracket - 300D)
++ \ \rfloor
+ @ Crops
+ 230C BOTTOM RIGHT CROP
+ * set of four "crop" corners, arranged facing outward
+@@ -10639,9 +10976,13 @@
+ @ Quine corners
+ 231C TOP LEFT CORNER
+ * set of four "quine" corners, for quincuncial arrangement
++ \ \ulcorner
+ 231D TOP RIGHT CORNER
++ \ \urcorner
+ 231E BOTTOM LEFT CORNER
++ \ \llcorner
+ 231F BOTTOM RIGHT CORNER
++ \ \lrcorner
+ @ Integral pieces
+ 2320 TOP HALF INTEGRAL
+ x (integral extension - 23AE)
+@@ -10649,8 +10990,10 @@
+ @ Frown and smile
+ 2322 FROWN
+ x (character tie - 2040)
++ \ \frown
+ 2323 SMILE
+ x (undertie - 203F)
++ \ \smile
+ @ Keyboard symbols
+ 2324 UP ARROWHEAD BETWEEN TWO HORIZONTAL BARS
+ = ENTER KEY
+@@ -11527,6 +11870,7 @@
+ = trine
+ x (combining enclosing upward pointing triangle - 20E4)
+ x (increment - 2206)
++ \ \bigtriangleup
+ 25B4 BLACK UP-POINTING SMALL TRIANGLE
+ 25B5 WHITE UP-POINTING SMALL TRIANGLE
+ 25B6 BLACK RIGHT-POINTING TRIANGLE
+@@ -11535,6 +11879,7 @@
+ 25B8 BLACK RIGHT-POINTING SMALL TRIANGLE
+ x (triangular bullet - 2023)
+ 25B9 WHITE RIGHT-POINTING SMALL TRIANGLE
++ \ \triangleright
+ 25BA BLACK RIGHT-POINTING POINTER
+ 25BB WHITE RIGHT-POINTING POINTER
+ = forward arrow indicator
+@@ -11543,6 +11888,7 @@
+ 25BD WHITE DOWN-POINTING TRIANGLE
+ = Hamilton operator
+ x (nabla - 2207)
++ \ \bigtriangledown
+ 25BE BLACK DOWN-POINTING SMALL TRIANGLE
+ 25BF WHITE DOWN-POINTING SMALL TRIANGLE
+ 25C0 BLACK LEFT-POINTING TRIANGLE
+@@ -11550,6 +11896,7 @@
+ = z notation domain restriction
+ 25C2 BLACK LEFT-POINTING SMALL TRIANGLE
+ 25C3 WHITE LEFT-POINTING SMALL TRIANGLE
++ \ \triangleleft
+ 25C4 BLACK LEFT-POINTING POINTER
+ 25C5 WHITE LEFT-POINTING POINTER
+ = backward arrow indicator
+@@ -11565,6 +11912,7 @@
+ = tainome (Japanese, a kind of bullet)
+ 25CA LOZENGE
+ x (white diamond suit - 2662)
++ \ \lozenge
+ 25CB WHITE CIRCLE
+ x (combining enclosing circle - 20DD)
+ x (large circle - 25EF)
+@@ -11797,12 +12145,16 @@
+ 265F BLACK CHESS PAWN
+ @ Playing card symbols
+ 2660 BLACK SPADE SUIT
++ \ \spadesuit
+ 2661 WHITE HEART SUIT
++ \ \heartsuit
+ 2662 WHITE DIAMOND SUIT
+ x (white diamond - 25C7)
+ x (lozenge - 25CA)
++ \ \diamondsuit
+ 2663 BLACK CLUB SUIT
+ = shamrock
++ \ \clubsuit
+ 2664 WHITE SPADE SUIT
+ 2665 BLACK HEART SUIT
+ = valentine
+@@ -11818,8 +12170,11 @@
+ 266B BEAMED EIGHTH NOTES
+ 266C BEAMED SIXTEENTH NOTES
+ 266D MUSIC FLAT SIGN
++ \ \flat
+ 266E MUSIC NATURAL SIGN
++ \ \natural
+ 266F MUSIC SHARP SIGN
++ \ \sharp
+ = z notation infix bag count
+ x (number sign - 0023)
+ @ Syriac cross symbols
+@@ -12183,11 +12538,13 @@
+ = z notation left sequence bracket
+ x (left-pointing angle bracket - 2329)
+ x (left angle bracket - 3008)
++ \ \langle
+ 27E9 MATHEMATICAL RIGHT ANGLE BRACKET
+ = ket
+ = z notation right sequence bracket
+ x (right-pointing angle bracket - 232A)
+ x (right angle bracket - 3009)
++ \ \rangle
+ 27EA MATHEMATICAL LEFT DOUBLE ANGLE BRACKET
+ = z notation left chevron bracket
+ x (left double angle bracket - 300A)
+@@ -12211,16 +12568,22 @@
+ @+ The long arrows are used for mapping whereas the short forms would be used in limits. They are also needed for MathML to complete mapping to the ASMA sets.
+ 27F5 LONG LEFTWARDS ARROW
+ x (leftwards arrow - 2190)
++ \ \longleftarrow
+ 27F6 LONG RIGHTWARDS ARROW
+ x (rightwards arrow - 2192)
++ \ \longrightarrow
+ 27F7 LONG LEFT RIGHT ARROW
+ x (left right arrow - 2194)
++ \ \longleftrightarrow
+ 27F8 LONG LEFTWARDS DOUBLE ARROW
+ x (leftwards double arrow - 21D0)
++ \ \Longleftarrow
+ 27F9 LONG RIGHTWARDS DOUBLE ARROW
+ x (rightwards double arrow - 21D2)
++ \ \Longrightarrow
+ 27FA LONG LEFT RIGHT DOUBLE ARROW
+ x (left right double arrow - 21D4)
++ \ \Longleftrightarrow
+ 27FB LONG LEFTWARDS ARROW FROM BAR
+ = maps from
+ x (leftwards arrow from bar - 21A4)
+@@ -12821,6 +13184,7 @@
+ 29EA BLACK DIAMOND WITH DOWN ARROW
+ 29EB BLACK LOZENGE
+ x (lozenge - 25CA)
++ \ \blacklozenge
+ 29EC WHITE CIRCLE WITH DOWN ARROW
+ 29ED BLACK CIRCLE WITH DOWN ARROW
+ @ Error bar symbols
+@@ -12864,17 +13228,23 @@
+ 2A00 N-ARY CIRCLED DOT OPERATOR
+ x (circled dot operator - 2299)
+ x (fisheye - 25C9)
++ \ \bigodot
+ 2A01 N-ARY CIRCLED PLUS OPERATOR
+ x (circled plus - 2295)
++ \ \bigoplus
+ 2A02 N-ARY CIRCLED TIMES OPERATOR
+ x (circled times - 2297)
++ \ \bigotimes
+ 2A03 N-ARY UNION OPERATOR WITH DOT
+ 2A04 N-ARY UNION OPERATOR WITH PLUS
++ \ \biguplus
+ x (multiset union - 228E)
+ 2A05 N-ARY SQUARE INTERSECTION OPERATOR
+ x (square cap - 2293)
++ \ \bigsqcap
+ 2A06 N-ARY SQUARE UNION OPERATOR
+ x (square cup - 2294)
++ \ \bigsqcup
+ 2A07 TWO LOGICAL AND OPERATOR
+ = merge
+ x (two intersecting logical and - 2A55)