TODO: Add a note about the symbols.