From 330b1f5873a9a36673056c574b96439bc6c427a1 Mon Sep 17 00:00:00 2001 From: Ben Alpert Date: Mon, 13 Jan 2014 13:37:09 -0800 Subject: [PATCH] Add \le, \ge, \ne symbols Auditors: eater --- Parser.js | 3 +++ buildTree.js | 3 +++ 2 files changed, 6 insertions(+) diff --git a/Parser.js b/Parser.js index 340e253b0..260346e2b 100644 --- a/Parser.js +++ b/Parser.js @@ -269,11 +269,14 @@ var copyFuncs = { "rel": [ "rel", "\\approx", + "\\ge", "\\geq", "\\gets", "\\in", "\\leftarrow", + "\\le", "\\leq", + "\\ne", "\\neq", "\\rightarrow", "\\to" diff --git a/buildTree.js b/buildTree.js index b602c10fc..263435b2e 100644 --- a/buildTree.js +++ b/buildTree.js @@ -424,13 +424,16 @@ var charLookup = { "\\circ": "\u2218", "\\colon": ":", "\\div": "\u00f7", + "\\ge": "\u2265", "\\geq": "\u2265", "\\gets": "\u2190", "\\in": "\u2208", "\\infty": "\u221e", "\\leftarrow": "\u2190", + "\\le": "\u2264", "\\leq": "\u2264", "\\lvert": "|", + "\\ne": "\u2260", "\\neq": "\u2260", "\\ngeq": "\u2271", "\\nleq": "\u2270",