function appendSymbolNameOnly(symbol, writer) {
                writer.writeSymbol(getNameOfSymbol(symbol), symbol);
            }
Writes only the name of the symbol out to the writer. Uses the original source text
for the name of the symbol if it is available to match how the user inputted the name.