doc-src/TutorialI/isabellesym.sty
changeset 15698 95deeda57341
parent 15007 0628f38bcbcf
child 16307 cb0f9e96d456
equal deleted inserted replaced
15697:681bcb7f0389 15698:95deeda57341
   181 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
   181 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
   182 \newcommand{\isasymrightharpoondown}{\isamath{\rightharpoondown}}
   182 \newcommand{\isasymrightharpoondown}{\isamath{\rightharpoondown}}
   183 \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
   183 \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
   184 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
   184 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
   185 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
   185 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
       
   186 \newcommand{\isasymdownharpoonleft}{\isamath{\downharpoonleft}}  %requires amssymb
       
   187 \newcommand{\isasymdownharpoonright}{\isamath{\downharpoonright}}  %requires amssymb
       
   188 \newcommand{\isasymupharpoonleft}{\isamath{\upharpoonleft}}  %requires amssymb
       
   189 \newcommand{\isasymupharpoonright}{\isamath{\upharpoonright}}  %requires amssymb
       
   190 \newcommand{\isasymrestriction}{\isamath{\restriction}}  %requires amssymb
   186 \newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires amssymb
   191 \newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires amssymb
   187 \newcommand{\isasymup}{\isamath{\uparrow}}
   192 \newcommand{\isasymup}{\isamath{\uparrow}}
   188 \newcommand{\isasymUp}{\isamath{\Uparrow}}
   193 \newcommand{\isasymUp}{\isamath{\Uparrow}}
   189 \newcommand{\isasymdown}{\isamath{\downarrow}}
   194 \newcommand{\isasymdown}{\isamath{\downarrow}}
   190 \newcommand{\isasymDown}{\isamath{\Downarrow}}
   195 \newcommand{\isasymDown}{\isamath{\Downarrow}}