# HG changeset patch
# User wenzelm
# Date 1563355119 -7200
# Node ID ab40ff2fdc6799db222ba09ebfa686fe445733aa
# Parent  6c65447b8a64aee0e370e3abc372d0e33cb2b8bf
tuned doc isar-ref;

diff -r 6c65447b8a64 -r ab40ff2fdc67 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Jul 17 11:09:43 2019 +0200
+++ b/lib/texinputs/isabellesym.sty	Wed Jul 17 11:18:39 2019 +0200
@@ -286,6 +286,7 @@
 \newcommand{\isasymtimes}{\isamath{\times}}
 \newcommand{\isasymdiv}{\isamath{\div}}
 \newcommand{\isasymcdot}{\isamath{\cdot}}
+\newcommand{\isasymsqdot}{\isamath{\sbox\z@{$\centerdot$}\ht\z@=.33333\ht\z@\vcenter{\box\z@}}}  %requires amssymb
 \newcommand{\isasymstar}{\isamath{\star}}
 \newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
 \newcommand{\isasymcirc}{\isamath{\circ}}
@@ -364,7 +365,6 @@
 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
-\newcommand{\isasymsqdot}{\isamath{\sbox\z@{$\centerdot$}\ht\z@=.33333\ht\z@\vcenter{\box\z@}}}  %requires amssymb
 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}