Hello,
Konstantin Kliakhandler <kosta@slumpy.org> writes:
> Attached is the patch, as requested.
Applied. Thank you.
> I'm not sure what were the conclusions of the side discussion, but
> I do want to point out that my change is in accordance with unicode
> symbol names and with the symbols that pdflatex prints on paper.
I think Rasmus (Cc'ed) discovered a bug in TeX input method. Rasmus,
would you feel like reporting it upstream?
Regards,
--
Nicolas Goaziou