Thread:User talk:TheDaveRoss/Big Bend State etc./reply (2)

I suppose I'd gloss it with official nickname then, if that's a thing! like putting term of address on something like grandmamma (can't think of a real term-of-address example but did see one the other day). It just seems semantically wrong to define X as "a nickname for..." when that is not the definition of X.