diff --git a/Parser.js b/Parser.js index bbdfaf5b..54357c87 100644 --- a/Parser.js +++ b/Parser.js @@ -268,6 +268,7 @@ var copyFuncs = { ], "rel": [ "rel", + "\\approx", "\\geq", "\\gets", "\\leftarrow", diff --git a/buildTree.js b/buildTree.js index 066d4f76..1c99c9b4 100644 --- a/buildTree.js +++ b/buildTree.js @@ -419,6 +419,7 @@ var charLookup = { "\\$": "$", "\\%": "%", "\\angle": "\u2220", + "\\approx": "\u2248", "\\cdot": "\u22c5", "\\circ": "\u2218", "\\colon": ":",