1.1 --- a/doc-src/iman.sty	Fri Oct 23 19:35:20 1998 +0200
     1.2 +++ b/doc-src/iman.sty	Fri Oct 23 19:40:00 1998 +0200
     1.3 @@ -94,10 +94,19 @@
     1.4  \newcommand\ex[1]{\exists#1.}
     1.5  \newcommand{\pair}[1]{\langle#1\rangle}
     1.6  
     1.7 +\newcommand{\lparr}{\mathopen{(\!|}}
     1.8 +\newcommand{\rparr}{\mathclose{|\!)}}
     1.9 +\newcommand{\fs}{\mathpunct{,\,}}
    1.10 +\newcommand{\ty}{\mathrel{::}}
    1.11 +\newcommand{\asn}{\mathrel{:=}}
    1.12 +\newcommand{\more}{\ldots}
    1.13 +\newcommand{\record}[1]{\lparr #1 \rparr}
    1.14 +
    1.15  \newcommand\lbrakk{\mathopen{[\![}}
    1.16  \newcommand\rbrakk{\mathclose{]\!]}}
    1.17  \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
    1.18  \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}
    1.19 +\newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]}
    1.20  
    1.21  \let\int=\cap
    1.22  \let\un=\cup