for short
for short {adv. phr.}
So as to make shorter; as an abbreviation or nickname.
The boy's name was Humperdink, or "Dink" for short.
The National Broadcasting Company is called NBC for short.
Categories:
Source: A Dictionary of American Idioms