Further progress with function symbols