function symbols