Original sentence: Monus, also written as a minus sign with a dot above, is an operation defined on the elements of an ordered commutative monoid (M, 0, +, <) as follows:.a monus b = a - b if a >= b
Edited sentence: In mathematics, monus, also written as a minus sign with a dot above, is an operation defined on the elements of an ordered commutative monoid (M, 0, +, <) as follows:.a monus b = a − b if a ≥ b