- The identity operator on $V$ is $\identity{V}$. The composition of
- $f$ and $g$ is $\compose{f}{g}$. The inverse of $f$ is
+ The constant function that always returns $a$ is $\const{a}$. The
+ identity operator on $V$ is $\identity{V}$. The composition of $f$
+ and $g$ is $\compose{f}{g}$. The inverse of $f$ is