www

commit 4297eb127621a64957d10ac29cb5d453e1f90f61
parent e0407a19a09bc1ed6dada3c90f533f49c32ce478
Author: Eddie Kohler <ekohler@gmail.com>
Date:   Fri, 25 Nov 2016 18:20:39 -0500

Unicode punctuation works.

Diffstat:
M
src/symbols.js
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/src/symbols.js b/src/symbols.js
@@ -652,3 +652,11 @@ for (i = 0x0410; i <= 0x044F; i++) {
     ch = String.fromCharCode(i);
     defineSymbol(text, main, textord, ch, ch);
 }
+
+// Unicode versions of existing characters
+defineSymbol(text, main, textord, "\u2013", "–");
+defineSymbol(text, main, textord, "\u2014", "—");
+defineSymbol(text, main, textord, "\u2018", "‘");
+defineSymbol(text, main, textord, "\u2019", "’");
+defineSymbol(text, main, textord, "\u201c", "“");
+defineSymbol(text, main, textord, "\u201d", "”");