diff --git a/Parser.js b/Parser.js index 54357c875..340e253b0 100644 --- a/Parser.js +++ b/Parser.js @@ -271,6 +271,7 @@ var copyFuncs = { "\\approx", "\\geq", "\\gets", + "\\in", "\\leftarrow", "\\leq", "\\neq", diff --git a/buildTree.js b/buildTree.js index 92d631e3c..b602c10fc 100644 --- a/buildTree.js +++ b/buildTree.js @@ -426,6 +426,7 @@ var charLookup = { "\\div": "\u00f7", "\\geq": "\u2265", "\\gets": "\u2190", + "\\in": "\u2208", "\\infty": "\u221e", "\\leftarrow": "\u2190", "\\leq": "\u2264",