One also gets certain function symbols automatically.
你还自动的获得特定的函数符号。