# Aliases for symbols, used by symbol_request().