commit be57176825278fd2e22e605912bc0114dd2864ef parent 4cce3df7b3d09d6178964f7f5f28e4c461ea1640 Author: Davide P. Cervone <dpvc@union.edu> Date: Wed, 15 Apr 2015 11:17:22 -0400 Add arc/fown/smile as horizontal stretchy delimiters. Issue #928. Diffstat:
15 files changed, 45 insertions(+), 0 deletions(-)
diff --git 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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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