Darren Freeman wrote: > Attached. Thanks. I've uploaded it to bugzilla: http://bugzilla.lyx.org/show_bug.cgi?id=3673
It's just a matter of someone finding time and adding those chars to the unicodesymbols file. Jürgen
Darren Freeman wrote: > Attached. Thanks. I've uploaded it to bugzilla: http://bugzilla.lyx.org/show_bug.cgi?id=3673
It's just a matter of someone finding time and adding those chars to the unicodesymbols file. Jürgen