1.1 --- a/doc-src/iman.sty	Fri Jul 30 15:57:27 1999 +0200
     1.2 +++ b/doc-src/iman.sty	Fri Jul 30 15:57:50 1999 +0200
     1.3 @@ -112,6 +112,7 @@
     1.4  \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
     1.5  \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}
     1.6  \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]}
     1.7 +\newcommand{\text}[1]{\mbox{#1}}
     1.8  
     1.9  \let\int=\cap
    1.10  \let\un=\cup