short for (English, phrase)
expansion: short for
Senses:
glosses: An abbreviation or nickname for; a shortening of.
Forms: