For the Math users out there I have enabled the Discourse Math Plugin which allows for the use of MathJax and asciimath. The plug-in documentation notes that it will also do LaTeX but to what extent I don’t know.

This feature may be turned off so don’t rely on it for the the time being.

Enjoy

I am the Math plugin

I can display math inline by wrapping text with the $ symbol like so $E=MC^2$ which renders.

E=MC^2

I can display larger blocks of math by wrapping text in a double $$ sign. Like so:

$$
E=MC^2
$$

which renders

E=MC^2

All fonts and assets required to generate Math are embedded in the plugin.

Sorry for my very late reaction, I did not see this post.
Does this mean that this plugin could be used with a SWI-Prolog prover inside a script for an HTML page to render directly the result? It would be a very nice thing.
If the reply is “yes”, I would be happy to test it.

Thanks for your reply to my late intervention.
I have understood that it is a plugin for this Discourse forum. But suppose a Mathjax script inside an html webpage, why this plugin could not be used?

Thanks ! It is intesting indeed. The only problem for me is that I need Mathjax to use the very useful proof.sty implemented in MathJax 3. Unfortunately, the setup to get a dynamic Mathjax is not so easy…

Would you mind to try it together? I would isolate the stuff we have as a swipl pack until next week, then we can check if there are missing pieces (and if you like our approach at all).

(unsure if it’s obvious: The R package can also convert expressions to MathJax, not just MathML. The MathJax ist just less elegant, because it uses “format” instead of HTML pieces.

I did not know that The R package can also convert expressions to MathJax, not just MathML. I would be glad to test your work, of course. But I must be prevent you that I am very slow, I am not at all a computer scientist, my education was in philosophy and that means that I have a slow and weak brain. If you can be patient, of course, it would be nice for me to try it.

Les packages source téléchargés sont dans
‘/tmp/RtmphVPkBb/downloaded_packages’
Messages d'avis :
1: Dans install.packages("mathml") :
l'installation du package ‘rswipl’ a eu un statut de sortie non nul
2: Dans install.packages("mathml") :
l'installation du package ‘rolog’ a eu un statut de sortie non nul
3: Dans install.packages("mathml") :
l'installation du package ‘mathml’ a eu un statut de sortie non nul
>
Not so slow finally . I believe that all that I need to test your work is now installed.