# HG changeset patch
# User wenzelm
# Date 1390070818 -3600
# Node ID 74dfec1edf8cc104748b59c2ad24aa8244b08da7
# Parent  87797f8f3152c6cd2eedf18b19ef7a9a3962dcae
crude latex macro for \<newline;

diff -r 87797f8f3152 -r 74dfec1edf8c lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Jan 18 19:35:42 2014 +0100
+++ b/lib/texinputs/isabellesym.sty	Sat Jan 18 19:46:58 2014 +0100
@@ -356,4 +356,5 @@
 \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$}}}