doc-src/iman.sty
 changeset 5752 c3df312f34a2 parent 4244 f50dace8be9f child 5765 165de7b92ea6
equal inserted replaced
5751:369dca267a3b 5752:c3df312f34a2
    92 \let\bimp=\leftrightarrow
    92 \let\bimp=\leftrightarrow
    93 \newcommand\all[1]{\forall#1.}  %quantification
    93 \newcommand\all[1]{\forall#1.}  %quantification
    94 \newcommand\ex[1]{\exists#1.}
    94 \newcommand\ex[1]{\exists#1.}
    95 \newcommand{\pair}[1]{\langle#1\rangle}
    95 \newcommand{\pair}[1]{\langle#1\rangle}
    96
    96

    97 \newcommand{\lparr}{\mathopen{(\!|}}

    98 \newcommand{\rparr}{\mathclose{|\!)}}

    99 \newcommand{\fs}{\mathpunct{,\,}}

   100 \newcommand{\ty}{\mathrel{::}}

   101 \newcommand{\asn}{\mathrel{:=}}

   102 \newcommand{\more}{\ldots}

   103 \newcommand{\record}[1]{\lparr #1 \rparr}

   104
    97 \newcommand\lbrakk{\mathopen{[\![}}
   105 \newcommand\lbrakk{\mathopen{[\![}}
    98 \newcommand\rbrakk{\mathclose{]\!]}}
   106 \newcommand\rbrakk{\mathclose{]\!]}}
    99 \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
   107 \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
   100 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}
   108 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}

   109 \newenvironment{matharray}[1]{$\begin{array}{#1}}{\end{array}$}
   101
   110
   102 \let\int=\cap
   111 \let\int=\cap
   103 \let\un=\cup
   112 \let\un=\cup
   104 \let\inter=\bigcap
   113 \let\inter=\bigcap
   105 \let\union=\bigcup
   114 \let\union=\bigcup