lib/texinputs/isabellesym.sty
changeset 61967 dd1f0caf2720
parent 61964 37a0cbee00c2
child 62021 d91374c90d0c
equal deleted inserted replaced
61966:e90c42077767 61967:dd1f0caf2720
   155 \newcommand{\isasymnat}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{N}}}
   155 \newcommand{\isasymnat}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{N}}}
   156 \newcommand{\isasymrat}{\isamath{\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu}}
   156 \newcommand{\isasymrat}{\isamath{\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu}}
   157 \newcommand{\isasymreal}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{R}}}
   157 \newcommand{\isasymreal}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{R}}}
   158 \newcommand{\isasymint}{\isamath{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}}
   158 \newcommand{\isasymint}{\isamath{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}}
   159 \newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
   159 \newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
       
   160 \newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
   160 \newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
   161 \newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
       
   162 \newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
   161 \newcommand{\isasymlonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAA}}}}  %requires amsmath
   163 \newcommand{\isasymlonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAA}}}}  %requires amsmath
       
   164 \newcommand{\isasymlonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAA}}}}  %requires amsmath
   162 \newcommand{\isasymlonglonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAAA}}}}  %requires amsmath
   165 \newcommand{\isasymlonglonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAAA}}}}  %requires amsmath
   163 \newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
       
   164 \newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
       
   165 \newcommand{\isasymlonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAA}}}}  %requires amsmath
       
   166 \newcommand{\isasymlonglonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAAA}}}}  %requires amsmath
   166 \newcommand{\isasymlonglonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAAA}}}}  %requires amsmath
   167 \newcommand{\isasymLeftarrow}{\isamath{\Leftarrow}}
   167 \newcommand{\isasymLeftarrow}{\isamath{\Leftarrow}}
       
   168 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
   168 \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
   169 \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
       
   170 \newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
   169 \newcommand{\isasymLleftarrow}{\isamath{\Lleftarrow}}  %requires amssymb
   171 \newcommand{\isasymLleftarrow}{\isamath{\Lleftarrow}}  %requires amssymb
   170 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
       
   171 \newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
       
   172 \newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}  %requires amssymb
   172 \newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}  %requires amssymb
   173 \newcommand{\isasymleftrightarrow}{\isamath{\leftrightarrow}}
   173 \newcommand{\isasymleftrightarrow}{\isamath{\leftrightarrow}}
       
   174 \newcommand{\isasymLeftrightarrow}{\isamath{\Leftrightarrow}}
   174 \newcommand{\isasymlongleftrightarrow}{\isamath{\longleftrightarrow}}
   175 \newcommand{\isasymlongleftrightarrow}{\isamath{\longleftrightarrow}}
   175 \newcommand{\isasymLeftrightarrow}{\isamath{\Leftrightarrow}}
       
   176 \newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
   176 \newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
   177 \newcommand{\isasymmapsto}{\isamath{\mapsto}}
   177 \newcommand{\isasymmapsto}{\isamath{\mapsto}}
   178 \newcommand{\isasymlongmapsto}{\isamath{\longmapsto}}
   178 \newcommand{\isasymlongmapsto}{\isamath{\longmapsto}}
   179 \newcommand{\isasymmidarrow}{\isamath{\relbar}}
   179 \newcommand{\isasymmidarrow}{\isamath{\relbar}}
   180 \newcommand{\isasymMidarrow}{\isamath{\Relbar}}
   180 \newcommand{\isasymMidarrow}{\isamath{\Relbar}}