Look around.  There’s lot of examples of unwieldy mascot names that, technically, are supposed to be used in total, every time.

The smart lawyers, though, with the budget to do it, also trademark a cute, short, nickname for the mascot.