From a9d79e58c4cbe7c3d1c41ea80e9a13dc56f5ec3d Mon Sep 17 00:00:00 2001 From: Emily Eisenberg Date: Tue, 9 Jul 2013 22:41:38 -0700 Subject: [PATCH] Split out backtick because it's special Auditors: spicyj --- MJLite.js | 1 + lexer.js | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/MJLite.js b/MJLite.js index 07bd401f0..44bc61722 100644 --- a/MJLite.js +++ b/MJLite.js @@ -102,6 +102,7 @@ var buildGroup = function(group, prev) { var charLookup = { "*": "\u2217", "-": "\u2212", + "`": "\u2018", "\\cdot": "\u22C5", "\\lvert": "|", "\\rvert": "|", diff --git a/lexer.js b/lexer.js index 6b5371d73..3773cb861 100644 --- a/lexer.js +++ b/lexer.js @@ -2,7 +2,8 @@ function Lexer() { }; var normals = [ - [/^[/|@."`0-9]+/, 'TEXTORD'], + [/^[/|@."0-9]+/, 'TEXTORD'], + [/^[`]/, 'TEXTORD'], [/^[a-zA-Z]+/, 'MATHORD'], [/^[*+-]/, 'BIN'], [/^[=<>]/, 'REL'],