operator
symbol associated with a mathematical operation in a language or mathematical formalism
program operator
construct used in computer programming, often associated to a mathematical operation
quantifier
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
type constructor
feature of a typed formal language that builds new types from old ones