What is a symbol alias?