doc-src/isar.sty
changeset 26783 1651ff6a34b5
parent 26769 5b8382d495be
child 26863 cc779d3da712
equal deleted inserted replaced
26782:19363c70b5c4 26783:1651ff6a34b5
    27 \newcommand{\isasymAND}{\isakeyword{and}}
    27 \newcommand{\isasymAND}{\isakeyword{and}}
    28 \newcommand{\isasymIS}{\isakeyword{is}}
    28 \newcommand{\isasymIS}{\isakeyword{is}}
    29 \newcommand{\isasymWHERE}{\isakeyword{where}}
    29 \newcommand{\isasymWHERE}{\isakeyword{where}}
    30 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
    30 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
    31 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
    31 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
       
    32 \newcommand{\isasymIN}{\isakeyword{in}}
       
    33 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
    32 
    34 
    33 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
    35 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
    34 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    36 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    35 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    37 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    36 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    38 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}