Added option to disable printing unicode symbols by setting the 'CADA…

…BRA_NO_UNICODE' environment variable.

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;

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>