From 2b9b4054f1c8dae45de9cd0b1ecf9539dc15ffe7 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Mon, 21 Apr 2014 19:20:23 -0400
Subject: [PATCH] Take fixphi into account when fixing the phi and varphi
 characters.  Issue #353.

---
 unpacked/jax/input/AsciiMath/jax.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/unpacked/jax/input/AsciiMath/jax.js b/unpacked/jax/input/AsciiMath/jax.js
index 90d2f076b..5e5ef8070 100644
--- a/unpacked/jax/input/AsciiMath/jax.js
+++ b/unpacked/jax/input/AsciiMath/jax.js
@@ -1196,10 +1196,12 @@ ASCIIMATH.Augment({
       // Old versions use the "decimal" option, so take it into account if it
       // is defined by the user. See issue 384.
       decimalsign  = (ASCIIMATH.config.decimal || ASCIIMATH.config.decimalsign);
-      // fix pi and var phi, if requested
-      for (var i = 0, m = AMsymbols.length; i < m; i++) {
-        if (AMsymbols[i].input === "phi")    {AMsymbols[i].output = "\u03D5"}
-        if (AMsymbols[i].input === "varphi") {AMsymbols[i].output = "\u03C6"; i = m}
+      // fix phi and varphi, if requested
+      if (ASCIIMATH.config.fixphi) {
+        for (var i = 0, m = AMsymbols.length; i < m; i++) {
+          if (AMsymbols[i].input === "phi")    {AMsymbols[i].output = "\u03D5"}
+          if (AMsymbols[i].input === "varphi") {AMsymbols[i].output = "\u03C6"; i = m}
+        }
       }
       INITASCIIMATH();
       AMinitSymbols();