Thanks for your response.
Ihor Radchenko <yanta...@gmail.com> writes: > I do not like abusing prettify-symbols-mode. What if it is not enabled? Ah, it does it anyway at the moment. > What will happen if user toggles prettify-symbols-mode in Org buffer? This seems to be toggled nicely by prettify-symbols-mode too. > Maybe better use something like org-entities? I'm not sure if that would work, perhaps someone else knows otherwise. -- Timothy