lib/texinputs/isabellesym.sty

--- a/lib/texinputs/isabellesym.sty	Wed Apr 08 20:41:56 2015 +0200
+++ b/lib/texinputs/isabellesym.sty	Wed Apr 08 21:08:26 2015 +0200
@@ -356,5 +356,5 @@
 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
+\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
-