# HG changeset patch
# User wenzelm
# Date 1552683725 -3600
# Node ID 57a41389d0e2fca718dc80fa4a44865192f293e7
# Parent  72301e1457b9c48b445f03571efebab09efb6aaf
more latex symbols;

diff -r 72301e1457b9 -r 57a41389d0e2 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Thu Mar 14 21:17:40 2019 +0100
+++ b/lib/texinputs/isabellesym.sty	Fri Mar 15 22:02:05 2019 +0100
@@ -367,6 +367,7 @@
 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
 
+\newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}