Revert "Improve notation"

This reverts commit c952832ced44dae5dec46a3d2354fb5bb835d15f.