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: abbreviation {adv. phr.}