www

commit 5d75c5d6271f34ad0154e712cdede2117f0ac017
parent 71925e6fe3b5fc5657137b3891b84e0b0b78c911
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 21 Apr 2014 19:20:45 -0400

Merge branch 'issue353' into develop.  Issue #353.

Diffstat:
M
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
@@ -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();