separating function symbols