On Sat, May 1, 2021 at 8:29 AM Ralf Hemmecke wrote:
> ...
> After this patch a symbol name that starts with \ is directly handed to
> the output unaltered so that it can be interpreted by MathJax.
>
>
+1
> Comments are welcome.
>
> If I do not hear something, I will commit it next Tuesday.
>
>
On Sat, 1 May 2021, Ralf Hemmecke wrote:
While it is easily possible to do this with UTF-8 encoding like
delta := "훿"::Symbol
and show nicely in jfricas with FormatMathJax enabled.
However, right-clicking on the output and exporting the expression as
TeX, gives back a UTF-8 symbol. If you want
There are obviously already people using jfricas.
I was asked for a feature to allow greek letters and other stuff.
While it is easily possible to do this with UTF-8 encoding like
delta := "훿"::Symbol
and show nicely in jfricas with FormatMathJax enabled.
However, right-clicking on the output
On Sat, May 01, 2021 at 02:29:17PM +0200, Ralf Hemmecke wrote:
> There are obviously already people using jfricas.
> I was asked for a feature to allow greek letters and other stuff.
> While it is easily possible to do this with UTF-8 encoding like
>
> delta := ""::Symbol
>
> and show nicely
