doc-src/isabellesym.sty
changeset 42484 2777a27506d0
parent 40893 7d88ebdce380
     1.1 --- a/doc-src/isabellesym.sty	Wed Apr 27 10:49:39 2011 +0200
     1.2 +++ b/doc-src/isabellesym.sty	Wed Apr 27 13:21:12 2011 +0200
     1.3 @@ -356,3 +356,5 @@
     1.4  \newcommand{\isasymspacespace}{\isamath{~~}}
     1.5  \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
     1.6  \newcommand{\isasymsome}{\isamath{\epsilon\,}}
     1.7 +\newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
     1.8 +\newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}