defined symbols for the built-in functions