Hi all, I'd like to propose the following change to `tex--prettify-symbols-alist'. It adds support for macros formerly provided by textcomp package which are now part of LaTeX kernel. I will prepare a format-patch once this change is accepted. Any comments welcome. Best, Arash