Simplify notation (somewhat)