Swap empty line below heading

chapters/functions.tex

@@ -1626,8 +1626,8 @@ \subsection{Partial Derivatives of Functions}\label{partial-derivatives-of-funct
 \end{example}
 
 
-
 \subsection{Using the Inverse Annotation}\label{using-the-inverse-annotation}
+
 If a function $f_1$ with one output formal parameter $y$ can be restricted to an informally defined domain and codomain, such that the mapping of the input formal parameter $u_{k}$ to $y$ is bijective for any fixed assignment to the other input formal parameters in the domain (see examples below), then it can be given an \fmtannotationindex{inverse} annotation to provide an explicit inverse $f_2$ to this mapping, provided that the function is only applied on this domain:
 
 The \lstinline!inverse! annotation takes the following form in a function declaration: