www

commit 8f20749a48ecdc2a273f7e704d6e8419010dd529
parent c994ee999473b6049c627cdaffd27d708cdbbecf
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 15 Apr 2015 13:33:42 -0400

Add arc/fown/smile as horizontal stretchy delimiters.

Diffstat:
M
unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
@@ -588,6 +588,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