doc-src/TutorialI/tutorial.sty
changeset 12638 812ce0d9fc85
parent 11457 279da0358aa9
child 13111 2d6782e71702
equal deleted inserted replaced
12637:4d43b06a81e1 12638:812ce0d9fc85
    66 \newcommand{\ttall}{\texttt{!}}
    66 \newcommand{\ttall}{\texttt{!}}
    67 \newcommand{\ttuniquex}{\texttt{?!}}
    67 \newcommand{\ttuniquex}{\texttt{?!}}
    68 \newcommand{\ttEXU}{\texttt{EX!}}
    68 \newcommand{\ttEXU}{\texttt{EX!}}
    69 \newcommand{\ttAnd}{\texttt{!!}}
    69 \newcommand{\ttAnd}{\texttt{!!}}
    70 
    70 
       
    71 \newcommand{\isasymignore}{}
    71 \newcommand{\isasymimp}{\isasymlongrightarrow}
    72 \newcommand{\isasymimp}{\isasymlongrightarrow}
    72 \newcommand{\isasymImp}{\isasymLongrightarrow}
    73 \newcommand{\isasymImp}{\isasymLongrightarrow}
    73 \newcommand{\isasymFun}{\isasymRightarrow}
    74 \newcommand{\isasymFun}{\isasymRightarrow}
    74 \newcommand{\isasymuniqex}{\isamath{\exists!\,}}
    75 \newcommand{\isasymuniqex}{\isamath{\exists!\,}}
    75 \renewcommand{\S}{Sect.\ts}
    76 \renewcommand{\S}{Sect.\ts}