doc-src/TutorialI/isabellesym.sty
changeset 10361 c20f78a9606f
parent 10226 2c0ad01ddaf7
child 10589 b2d1b393b750
equal deleted inserted replaced
10360:807992b67edd 10361:c20f78a9606f
   125 \newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
   125 \newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
   126 \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
   126 \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
   127 \newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
   127 \newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
   128 \newcommand{\isasymbar}{\isamath{\mid}}
   128 \newcommand{\isasymbar}{\isamath{\mid}}
   129 \newcommand{\isasymhyphen}{\isatext{\rm-}}
   129 \newcommand{\isasymhyphen}{\isatext{\rm-}}
   130 \newcommand{\isasymmacron}{\isatext{\rm\=\relax}}
   130 \newcommand{\isasyminverse}{\isamath{{}^{-1}}}
   131 \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
   131 \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
   132 \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
   132 \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
   133 \newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
   133 \newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
   134 \newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
   134 \newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
   135 \newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
   135 \newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1