theoryOperators

open val theoryOperators: OperatorSet