Symbols formatted as code