diff -r 928c015eb03e -r 17ea9ad46257 document/isabellesym.sty
--- a/document/isabellesym.sty	Sat Dec 14 13:07:41 2013 +1100
+++ b/document/isabellesym.sty	Thu Dec 25 15:54:08 2014 +0000
@@ -354,3 +354,7 @@
 \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$}}}
+\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
+