From 291dd658508830a2c7af8d9c780e9142c64b51c2 Mon Sep 17 00:00:00 2001
From: Kasper Peeters <kasper.peeters@phi-sci.com>
Date: Sat, 14 Oct 2017 12:04:02 +0100
Subject: [PATCH] Added option to disable printing unicode symbols by setting
 the 'CADABRA_NO_UNICODE' environment variable.

---
 core/DisplayTerminal.cc        | 7 +++++--
 web2/cadabra2/source/help.html | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/core/DisplayTerminal.cc b/core/DisplayTerminal.cc
index ad46f6d324..011ff05c68 100644
--- a/core/DisplayTerminal.cc
+++ b/core/DisplayTerminal.cc
@@ -448,7 +448,10 @@ void DisplayTerminal::print_intlike(std::ostream& str, Ex::iterator it)
 	{
 	if(*it->multiplier!=1)
 		print_multiplier(str, it);
-	str << symmap[*it->name] << "(";
+	if(getenv("CADABRA_NO_UNICODE")!=0)
+		str << *it->name << "(";
+	else
+		str << symmap[*it->name] << "(";
 	Ex::sibling_iterator sib=tree.begin(it);
 	dispatch(str, sib);
 	++sib;
@@ -557,7 +560,7 @@ void DisplayTerminal::print_other(std::ostream& str, Ex::iterator it)
 	
 	if(needs_extra_brackets) str << "{"; // to prevent double sup/sub script errors
 	auto rn = symmap.find(*it->name);
-	if(rn!=symmap.end())
+	if(rn!=symmap.end() && 	getenv("CADABRA_NO_UNICODE")==0)
 		str << rn->second;
 	else
 		str << *it->name;
diff --git a/web2/cadabra2/source/help.html b/web2/cadabra2/source/help.html
index 36bf56eab6..759b5dabea 100644
--- a/web2/cadabra2/source/help.html
+++ b/web2/cadabra2/source/help.html
@@ -10,7 +10,7 @@ <h1>Help</h1>
 <h2>Forum</h2>
 
 <p>All questions about using Cadabra can be posted on
-  the <a href="http://cadabra.science/qa">Cadabra Q&amp;A</a> forum. The forum accepts LaTeX
+  the <a href="/qa">Cadabra Q&amp;A</a> forum. The forum accepts LaTeX
   formulas and is fully searchable. 
 </p>