What is an example of a symbol that does not use a formal alias