Use item list instead of beginning each semiLinear rule with \textbf{…

…Rule X}

chapters/operatorsandexpressions.tex

@@ -1016,9 +1016,9 @@ \subsubsection{semiLinear}\doublelabel{semilinear}
 solutions. It is recommended that the following rules are used to
 transform the equations during the translation phase in order to select
 one meaningful solution in such cases:
-
-\textbf{Rule 1}: The equations
-
+\begin{itemize}
+\item
+The equations
 \begin{lstlisting}[language=modelica]
 y = semiLinear(x, sa, s1);
 y = semiLinear(x, s1, s2);
@@ -1027,7 +1027,6 @@ \subsubsection{semiLinear}\doublelabel{semilinear}
 y = semiLinear(x, sN, sb);
 ...
 \end{lstlisting}
-
 may be replaced by
 \begin{lstlisting}[language=modelica, mathescape=true]
 s1 = if x >= 0 then sa else sb
@@ -1038,19 +1037,20 @@ \subsubsection{semiLinear}\doublelabel{semilinear}
 y = semiLinear(x, sa, sb);
 \end{lstlisting}
 
-\textbf{Rule 2}: The equations
+\item
+The equations
 \begin{lstlisting}[language=modelica]
 x = 0;
 y = 0;
 y = semiLinear(x, sa, sb);
 \end{lstlisting}
-
 may be replaced by
 \begin{lstlisting}[language=modelica]
 x = 0
 y = 0;
 sa = sb;
 \end{lstlisting}
+\end{itemize}
 
 \begin{nonnormative}
 For symbolic transformations, the following property is useful