\begin{omgroup}[id=sec.reals]{Real Numbers}
\begin{module}[id=reals]
\symdef{RealNumbers}{\mathbb{R}}
\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}
\symdef{rfrac}[2]{\frac{#1}{#2}}

\begin{definition}[id=reals.def] 
 We denote the set of {\defii{real}{numbers}} we all know and love with
  $\RealNumbers$. 
\end{definition}

\begin{definition}[id=absval.def]
  The absolute value $\absval{r}$ of a real number $r$.
\end{definition}
\end{module}
\end{omgroup}
%%% Local Variables: 
%%% mode: LaTeX
%%% TeX-master: "all"
%%% End: 
