Are operators part of a formal system’s symbols?

This forum is restricted to members of the associated course(s).