www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit c8ba6a698f25bd7f2e13f66d7e0f4af071805d93
parent 20994d73517ae696d96bc5556ee3e11a4a6dad20
Author: Ben Alpert <spicyjalapeno@gmail.com>
Date:   Fri, 10 Jan 2014 11:56:37 -0800

Add \in

Auditors: eater

Diffstat:
MParser.js | 1+
MbuildTree.js | 1+
2 files changed, 2 insertions(+), 0 deletions(-)

diff --git 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 @@ -426,6 +426,7 @@ var charLookup = { "\\div": "\u00f7", "\\geq": "\u2265", "\\gets": "\u2190", + "\\in": "\u2208", "\\infty": "\u221e", "\\leftarrow": "\u2190", "\\leq": "\u2264",