where \(\leftrightarrow\) means relabeling of the independent variable. By definition, see equation  (4):