From 8f20749a48ecdc2a273f7e704d6e8419010dd529 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Wed, 15 Apr 2015 13:33:42 -0400 Subject: [PATCH] Add arc/fown/smile as horizontal stretchy delimiters. --- unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js index 54b20196d..0feb58383 100644 --- 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