| changeset 42484 | 2777a27506d0 |
| parent 40893 | 7d88ebdce380 |
| child 46213 | 0a5af667dc75 |
--- a/lib/texinputs/isabellesym.sty Wed Apr 27 10:49:39 2011 +0200 +++ b/lib/texinputs/isabellesym.sty Wed Apr 27 13:21:12 2011 +0200 @@ -356,3 +356,5 @@ \newcommand{\isasymspacespace}{\isamath{~~}} \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}} \newcommand{\isasymsome}{\isamath{\epsilon\,}} +\newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}} +\newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}