Hello, Konstantin Kliakhandler <ko...@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
