Revert "Change notation"

This reverts commit 30bf826187c85e0aa5a7ef79517eb2d3908b64f9.