From be57176825278fd2e22e605912bc0114dd2864ef Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 15 Apr 2015 11:17:22 -0400
Subject: [PATCH] Add arc/fown/smile as horizontal stretchy delimiters. Issue
 #928.

---
 unpacked/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js   | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/Gyre-Pagella/fontdata.js | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js  | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js    | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js     | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js         | 3 +++
 unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js          | 3 +++
 unpacked/jax/output/SVG/fonts/Asana-Math/fontdata.js        | 3 +++
 unpacked/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js      | 3 +++
 unpacked/jax/output/SVG/fonts/Gyre-Termes/fontdata.js       | 3 +++
 unpacked/jax/output/SVG/fonts/Latin-Modern/fontdata.js      | 3 +++
 unpacked/jax/output/SVG/fonts/Neo-Euler/fontdata.js         | 3 +++
 unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js          | 3 +++
 unpacked/jax/output/SVG/fonts/TeX/fontdata.js               | 3 +++
 15 files changed, 45 insertions(+)

diff --git a/unpacked/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js
index c399fb302..923a2a191 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js
@@ -463,6 +463,9 @@
           HW: [[0.885,MAIN], [1.470,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329: {alias: 0x27E8, dir: V},
         0x232A: {alias: 0x27E9, dir: V},
         0x23AA:
diff --git a/unpacked/jax/output/HTML-CSS/fonts/Gyre-Pagella/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/Gyre-Pagella/fontdata.js
index 88eefbc82..2c881cd84 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/Gyre-Pagella/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/Gyre-Pagella/fontdata.js
@@ -542,6 +542,9 @@
           HW: [[0.820,MAIN], [0.980,SIZE1], [1.172,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.010,SIZE5], [2.408,SIZE6], [2.612,SIZE6,1.085]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js
index ce2fa99a7..d68ad237a 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js
@@ -542,6 +542,9 @@
           HW: [[0.818,MAIN], [0.979,SIZE1], [1.171,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.011,SIZE5], [2.410,SIZE6], [2.780,SIZE6,1.154]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js
index 769a8f2c1..6fdddb16b 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js
@@ -539,6 +539,9 @@
           HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js
index df62776ea..aae15c285 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js
@@ -401,6 +401,9 @@
           HW: [[0.980,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
index 8298dfbdd..d4e5fb659 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
@@ -567,6 +567,9 @@
           HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
           stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329: {alias: 0x27E8, dir: V},
         0x232A: {alias: 0x27E9, dir: V},
         0x23AA: EXTRAV,
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
index 2cd3c92f8..31c1d8943 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
@@ -425,6 +425,9 @@
         0x295F: EXTRAH, // rightwards harpoon with barb down from bar
         0x2960: EXTRAV, // up harpoon with barb left from bar
         0x2961: EXTRAV, // down harpoon with barb left from bar
+        0x2312: {alias: 0x23DC, dir:H}, // arc
+        0x2322: {alias: 0x23DC, dir:H}, // frown
+        0x2323: {alias: 0x23DD, dir:H}, // smile
         0x27F5: {alias: 0x2190, dir:H}, // long left arrow
         0x27F6: {alias: 0x2192, dir:H}, // long right arrow
         0x27F7: {alias: 0x2194, dir:H}, // long left-right arrow
diff --git a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
index cefe7507d..ae08e4884 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
@@ -570,6 +570,9 @@
         0x295F: EXTRAH, // rightwards harpoon with barb down from bar
         0x2960: EXTRAV, // up harpoon with barb left from bar
         0x2961: EXTRAV, // down harpoon with barb left from bar
+        0x2312: {alias: 0x23DC, dir:H}, // arc
+        0x2322: {alias: 0x23DC, dir:H}, // frown
+        0x2323: {alias: 0x23DD, dir:H}, // smile
         0x27F5: {alias: 0x2190, dir:H}, // long left arrow
         0x27F6: {alias: 0x2192, dir:H}, // long right arrow
         0x27F7: {alias: 0x2194, dir:H}, // long left-right arrow
diff --git a/unpacked/jax/output/SVG/fonts/Asana-Math/fontdata.js b/unpacked/jax/output/SVG/fonts/Asana-Math/fontdata.js
index 91e2c92af..b21388fb6 100644
--- a/unpacked/jax/output/SVG/fonts/Asana-Math/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/Asana-Math/fontdata.js
@@ -460,6 +460,9 @@
           HW: [[885,MAIN], [1470,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329: {alias: 0x27E8, dir: V},
         0x232A: {alias: 0x27E9, dir: V},
         0x23AA:
diff --git a/unpacked/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js b/unpacked/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js
index 83631a21f..ae78506ec 100644
--- a/unpacked/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js
@@ -539,6 +539,9 @@
           HW: [[820,MAIN], [980,SIZE1], [1172,SIZE2], [1402,SIZE3], [1678,SIZE4], [2009,SIZE5], [2408,SIZE6], [2612,SIZE6,1.085]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/SVG/fonts/Gyre-Termes/fontdata.js b/unpacked/jax/output/SVG/fonts/Gyre-Termes/fontdata.js
index d32da4416..98decdbdd 100644
--- a/unpacked/jax/output/SVG/fonts/Gyre-Termes/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/Gyre-Termes/fontdata.js
@@ -539,6 +539,9 @@
           HW: [[818,MAIN], [979,SIZE1], [1171,SIZE2], [1402,SIZE3], [1678,SIZE4], [2011,SIZE5], [2410,SIZE6], [2780,SIZE6,1.154]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/SVG/fonts/Latin-Modern/fontdata.js b/unpacked/jax/output/SVG/fonts/Latin-Modern/fontdata.js
index 9808bef24..bbb100212 100644
--- a/unpacked/jax/output/SVG/fonts/Latin-Modern/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/Latin-Modern/fontdata.js
@@ -536,6 +536,9 @@
           HW: [[1000,MAIN], [1100,SIZE1], [1200,SIZE2], [1450,SIZE3], [1800,SIZE4], [2100,SIZE5], [2400,SIZE6], [3000,SIZE7]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/SVG/fonts/Neo-Euler/fontdata.js b/unpacked/jax/output/SVG/fonts/Neo-Euler/fontdata.js
index b1862d2ca..0b1e46fbb 100644
--- a/unpacked/jax/output/SVG/fonts/Neo-Euler/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/Neo-Euler/fontdata.js
@@ -398,6 +398,9 @@
           HW: [[980,MAIN], [1199,SIZE1], [1799,SIZE2], [1961,SIZE2,1.090], [2399,SIZE3], [2999,SIZE4]],
           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329:
         {
           dir: V,
diff --git a/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
index 926acfd35..0f36a0d7b 100644
--- a/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
@@ -564,6 +564,9 @@
           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
           stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5]}
         },
+        0x2312: {alias: 0x23DC, dir:H},
+        0x2322: {alias: 0x23DC, dir:H},
+        0x2323: {alias: 0x23DD, dir:H},
         0x2329: {alias: 0x27E8, dir: V},
         0x232A: {alias: 0x27E9, dir: V},
         0x23AA: EXTRAV,
diff --git a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js b/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
index 26424b46b..cbc5ee65c 100644
--- a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
@@ -565,6 +565,9 @@
         0x295F: EXTRAH, // rightwards harpoon with barb down from bar
         0x2960: EXTRAV, // up harpoon with barb left from bar
         0x2961: EXTRAV, // down harpoon with barb left from bar
+        0x2312: {alias: 0x23DC, dir:H}, // arc
+        0x2322: {alias: 0x23DC, dir:H}, // frown
+        0x2323: {alias: 0x23DD, dir:H}, // smile
         0x27F5: {alias: 0x2190, dir:H}, // long left arrow
         0x27F6: {alias: 0x2192, dir:H}, // long right arrow
         0x27F7: {alias: 0x2194, dir:H}, // long left-right arrow