I can confirm that it's not needed. The only place where it's used is when writing a mapfile to disk, and even in that use-case it is not necessary for these "shortcut" symbols.