\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: