added \text;
authorwenzelm
Fri Jul 30 15:57:50 1999 +0200 (1999-07-30)
changeset 71391af4c1f48368
parent 7138 0a17c2a93454
child 7140 2c02c8e212fa
added \text;
doc-src/iman.sty
     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