| changeset 55033 | 8e8243975860 |
| parent 53194 | 1943db7bc34c |
| child 55037 | 74dfec1edf8c |
--- a/lib/texinputs/isabellesym.sty Fri Jan 17 20:51:36 2014 +0100 +++ b/lib/texinputs/isabellesym.sty Sat Jan 18 19:15:12 2014 +0100 @@ -354,3 +354,6 @@ \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}} \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} \newcommand{\isasymsome}{\isamath{\epsilon\,}} +\newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} +\newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} +