lib/texinputs/isabellesym.sty
changeset 61964 37a0cbee00c2
parent 61963 2548e7cc86fb
child 61967 dd1f0caf2720
     1.1 --- a/lib/texinputs/isabellesym.sty	Tue Dec 29 20:58:18 2015 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Dec 29 21:51:58 2015 +0100
     1.3 @@ -166,8 +166,10 @@
     1.4  \newcommand{\isasymlonglonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAAA}}}}  %requires amsmath
     1.5  \newcommand{\isasymLeftarrow}{\isamath{\Leftarrow}}
     1.6  \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
     1.7 +\newcommand{\isasymLleftarrow}{\isamath{\Lleftarrow}}  %requires amssymb
     1.8  \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
     1.9  \newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
    1.10 +\newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}  %requires amssymb
    1.11  \newcommand{\isasymleftrightarrow}{\isamath{\leftrightarrow}}
    1.12  \newcommand{\isasymlongleftrightarrow}{\isamath{\longleftrightarrow}}
    1.13  \newcommand{\isasymLeftrightarrow}{\isamath{\Leftrightarrow}}