Better notations