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

Reply via email to