<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% \subsubsection{Theorem and theorem-like environments}
% On the web, a theorem is emitted as a special |&lt;div&gt;|.
%    \begin{macrocode}
%&lt;*htXimera&gt;
\newcommand{\ConfigureTheoremEnv}[1]{%
\renewenvironment{#1}[1][]{\refstepcounter{problem}%
\ifthenelse{\equal{##1}{}}{}{%
  \HCode{&lt;span class="theorem-like-title"&gt;}##1\HCode{&lt;/span&gt;}%
}}{}
\ConfigureEnv{#1}{\stepcounter{identification}\ifvmode \IgnorePar\fi \EndP\HCode{&lt;div class="theorem-like problem-environment #1" id="problem\arabic{identification}"&gt;}}{\HCode{&lt;/div&gt;}\IgnoreIndent}{}{}%
}
%&lt;/htXimera&gt;
%&lt;classXimera&gt;\theoremstyle{definition} % No italic (because this makes also text in TikZ italic !!!)
%    \end{macrocode}

% The key is to make sure that the theorem environments are defined in
% a corresponding fashion on the web and on paper.

% \DescribeEnv{theorem}{Theorem}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{theorem}{Theorem}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{theorem}
%    \end{macrocode}

% \DescribeEnv{algorithm}{Algorithm}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{algorithm}{Algorithm}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{algorithm}
%    \end{macrocode}

% \DescribeEnv{axiom}{Axiom}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{axiom}{Axiom}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{axiom}
%    \end{macrocode}

% \DescribeEnv{claim}{Claim}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{claim}{Claim}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{claim}
%    \end{macrocode}

% \DescribeEnv{conclusion}{Conclusion}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{conclusion}{Conclusion}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{conclusion}
%    \end{macrocode}

% \DescribeEnv{condition}{Condition}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{condition}{Condition}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{condition}
%    \end{macrocode}

% \DescribeEnv{conjecture}{Conjecture}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{conjecture}{Conjecture}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{conjecture}
%    \end{macrocode}

% \DescribeEnv{corollary}{Corollary}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{corollary}{Corollary}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{corollary}
%    \end{macrocode}

% \DescribeEnv{criterion}{Criterion}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{criterion}{Criterion}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{criterion}
%    \end{macrocode}

% \DescribeEnv{definition}{Definition}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{definition}{Definition}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{definition}
%    \end{macrocode}

% \DescribeEnv{example}{Example}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{example}{Example}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{example}
%    \end{macrocode}

% \DescribeEnv{explanation}{Explanation}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem*{explanation}{Explanation}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{explanation}
%    \end{macrocode}

% \DescribeEnv{fact}{Fact}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{fact}{Fact}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{fact}
%    \end{macrocode}

% \DescribeEnv{lemma}{Lemma}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{lemma}{Lemma}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{lemma}
%    \end{macrocode}

% \DescribeEnv{formula}{Formula}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{formula}{Formula}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{formula}
%    \end{macrocode}

% \DescribeEnv{idea}{Idea}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{idea}{Idea}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{idea}
%    \end{macrocode}

% \DescribeEnv{notation}{Notation}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{notation}{Notation}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{notation}
%    \end{macrocode}

% \DescribeEnv{model}{Model}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{model}{Model}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{model}
%    \end{macrocode}

% \DescribeEnv{observation}{Observation}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{observation}{Observation}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{observation}
%    \end{macrocode}

% \DescribeEnv{proposition}{Proposition}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{proposition}{Proposition}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{proposition}
%    \end{macrocode}

% \DescribeEnv{paradox}{Paradox}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{paradox}{Paradox}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{paradox}
%    \end{macrocode}

% \DescribeEnv{procedure}{Procedure}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{procedure}{Procedure}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{procedure}
%    \end{macrocode}

% \DescribeEnv{remark}{Remark}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{remark}{Remark}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{remark}
%    \end{macrocode}

% \DescribeEnv{summary}{Summary}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{summary}{Summary}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{summary}
%    \end{macrocode}

% \DescribeEnv{template}{Template}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{template}{Template}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{template}
%    \end{macrocode}

% \DescribeEnv{warning}{Warning}
%    \begin{macrocode}
%&lt;classXimera&gt;      \newtheorem{warning}{Warning}
%&lt;htXimera&gt;      \ConfigureTheoremEnv{warning}
%    \end{macrocode}

</pre></body></html>