Has the symbol '@' its own name such as '&' -> ampersand for example? Or, asking the other way, what is the formal name of the symbol '@'?