Nickname
Overview
 
A nickname is "a usually familiar or humorous but sometimes pointed or cruel name given to a person or place, as a supposedly appropriate replacement for or addition to the proper name.", or a name similar in origin and pronunciation from the original name.

It is not interchangeable with a term called "short-for". It can also be the familiar or truncated form of the proper name, which may sometimes be used simply for convenience (e.g.
 
x
OK