From fe346f56ca934487bf4bc4556b0668ab21c65974 Mon Sep 17 00:00:00 2001 From: Ben Alpert Date: Thu, 16 Jan 2014 22:32:24 -0800 Subject: [PATCH] Add \langle and \rangle Auditors: alex --- Parser.js | 2 ++ buildTree.js | 2 ++ 2 files changed, 4 insertions(+) diff --git a/Parser.js b/Parser.js index fa198ae..1c7ef63 100644 --- a/Parser.js +++ b/Parser.js @@ -260,10 +260,12 @@ var copyFuncs = { ], "open": [ "open", + "\\langle", "\\lvert" ], "close": [ "close", + "\\rangle", "\\rvert" ], "rel": [ diff --git a/buildTree.js b/buildTree.js index 263435b..167b493 100644 --- a/buildTree.js +++ b/buildTree.js @@ -429,6 +429,7 @@ var charLookup = { "\\gets": "\u2190", "\\in": "\u2208", "\\infty": "\u221e", + "\\langle": "\u27e8", "\\leftarrow": "\u2190", "\\le": "\u2264", "\\leq": "\u2264", @@ -439,6 +440,7 @@ var charLookup = { "\\nleq": "\u2270", "\\pm": "\u00b1", "\\prime": "\u2032", + "\\rangle": "\u27e9", "\\rightarrow": "\u2192", "\\rvert": "|", "\\space": "\u00a0",