Open schillic opened 5 years ago
A workaround is to use LaTeXStrings
, as in plot(..., xlab=L"x_1", ylab=L"x_2")
.
To recap:
1- GR allows to use unicode in labels, but requires the package LaTexString
. To use it, do: using LaTeXStrings; plot(..., xlab=L"x_1", ylab=L"x_2")
.
2- Otherwise we can use GR without subindices, i.e displayed as x1
etc, with the option plot(::ReachSolution, use_subindices=false)
.
3- PyPlot
works for x₁
4- plotly
works for x₁
As an action point for this issue i propose to add these alternatives to the docs.
Actually and since GR is somehow the default in JuliaReach, i vouch for using option 1 by default, but this adds the corresponding dependency to LaTeXStrings.
Follow-up of #405. See this comment.
The problem is that
GR
does not support index numbers for axis labels, as in x₁₈₂. I can confirm that saving withPyPlot
works. ForPlotly
I get a different error.