"functional symbol" Deutsche bedeutung