From 302f5502ef8cd048808caf2ffb027ff330bca392 Mon Sep 17 00:00:00 2001
From: Ben Alpert <spicyjalapeno@gmail.com>
Date: Thu, 21 Nov 2013 22:13:47 -0800
Subject: [PATCH] Add \approx as a symbol

This is important because the interactive graph labels use \approx now for polygon sides and it feels really sluggish with MathJax.
---
 Parser.js    | 1 +
 buildTree.js | 1 +
 2 files changed, 2 insertions(+)

diff --git a/Parser.js b/Parser.js
index bbdfaf5..54357c8 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 066d4f7..1c99c9b 100644
--- a/buildTree.js
+++ b/buildTree.js
@@ -419,6 +419,7 @@ var charLookup = {
     "\\$": "$",
     "\\%": "%",
     "\\angle": "\u2220",
+    "\\approx": "\u2248",
     "\\cdot": "\u22c5",
     "\\circ": "\u2218",
     "\\colon": ":",