From b629567d3b4e89f6403a87f54526eecd3fc5401c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= <fred.wang@free.fr>
Date: Tue, 28 Jan 2014 11:05:59 +0100
Subject: [PATCH] Use TeXZilla when it is present (and MathJax absent).

---
 src/renderables/Labels.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/renderables/Labels.js b/src/renderables/Labels.js
index 37f7497..72397a8 100644
--- a/src/renderables/Labels.js
+++ b/src/renderables/Labels.js
@@ -111,7 +111,7 @@ MathBox.Renderable.Labels.prototype = _.extend(new MathBox.Renderable(null), {
           }
         }
 
-        if (!mathjax) {
+        if (!mathjax && !window.TeXZilla) {
           text = (''+text).replace(/^-/, '–');
         }
       }
@@ -126,6 +126,9 @@ MathBox.Renderable.Labels.prototype = _.extend(new MathBox.Renderable(null), {
           inner.innerHTML = "\\(" + text + "\\)";
           MathJax.Hub.queue.Push(["Typeset", MathJax.Hub, inner]);
         }
+        else if (window.TeXZilla) {
+          inner.innerHTML = window.TeXZilla.toMathMLString(text.toString());
+        }
         else {
           inner.innerHTML = text;
         }