Operators for formulas in mapping