Is there a workaround to render symbols from Symbolics.jl in Pluto.jl

Note that this is no longer needed in the latest Pluto (0.14.7). Thank you fonsp!

3 Likes