[temp.constr.order] Remove example markers from footnote.

Author: jensmaurer

source/templates.tex

@@ -1949,26 +1949,22 @@
 in the disjunctive normal form\footnote{
 A constraint is in disjunctive normal form when it is a disjunction of
 clauses where each clause is a conjunction of atomic constraints.
-\begin{example}
 For atomic constraints $A$, $B$, and $C$, the disjunctive normal form
 of the constraint
 $A \land (B \lor C)$
 is
 $(A \land B) \lor (A \land C)$.
 %
 Its disjunctive clauses are $(A \land B)$ and $(A \land C)$.
-\end{example}
 }
 of $P$, $P_i$ subsumes every conjunctive clause $Q_j$
 in the conjunctive normal form\footnote{
 A constraint is in conjunctive normal form when it is a conjunction
 of clauses where each clause is a disjunction of atomic constraints.
-\begin{example}
 For atomic constraints $A$, $B$, and $C$, the constraint
 $A \land (B \lor C)$ is in conjunctive normal form.
 %
 Its conjunctive clauses are $A$ and $(B \lor C)$.
-\end{example}
 }
 of $Q$, where
 \begin{itemize}