Hi Mark,
"Mark E. Shoulson" writes:
> It's a very tiny patch, but one that probably should have happened
> before.
Yes. Surprised nobody reported this already.
I applied the patch, but I had to add a ChangeLog myself. Please
provide it next time.
Thanks!
--
Bastien
It's a very tiny patch, but one that probably should have
happened before. When org-pretty-entities is enabled, the
entities are displayed as Unicode characters, which is nice, but
if they are in the middle of a word, you need to terminate them
with {}, which are