theoryOperators

open override var theoryOperators: OperatorSet