lib/texinputs/isabellesym.sty
changeset 10354 ae236e935a34
parent 10220 2a726de6e124
child 10563 e52adaeac996
equal deleted inserted replaced
10353:b1b3f25750f4 10354:ae236e935a34
   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