Text this: Formalizing Two Generalized Approximation Operators.