known elsewhere under the name

See: alias