innerText and not innerHTML ?

[joseph-vidal-rosset]

It, depends how you send the output to the HTML page. There are two options basically:

* **Option 1:**
  element.innerText += output

* **Option 2:**
  element.innerHTML += output

If Tau Prolog uses Option 1 or your code uses Option 1, you don't need to do anything, then output can for example be "... a => b ...", the ">" gets

not interpreted.

I replaced everywhere in tau-prolog.js as in my html page innerHTML by innerText and the problem is completely solved ! Many thanks !

Is this a good solution for all Tau Prolog programs? This question is for the developers.

Originally posted by @joseph-vidal-rosset in #326 (comment)