simplify notations