tuned output in isar-ref manual;
authorwenzelm
Thu Dec 07 11:14:32 2017 +0100 (6 weeks ago)
changeset 67154c7def8f836d0
parent 67153 39117b6f0b2e
child 67155 9e5b05d54f9d
tuned output in isar-ref manual;
lib/texinputs/isabellesym.sty
     1.1 --- a/lib/texinputs/isabellesym.sty	Thu Dec 07 11:12:55 2017 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Thu Dec 07 11:14:32 2017 +0100
     1.3 @@ -358,11 +358,11 @@
     1.4  \newcommand{\isasymcedilla}{\isatext{\c\relax}}
     1.5  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
     1.6  \newcommand{\isasymsome}{\isamath{\epsilon\,}}
     1.7 -\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
     1.8  \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
     1.9  \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
    1.10  \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
    1.11  \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
    1.12 +\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
    1.13  \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
    1.14  \newcommand{\isasymcomment}{\isatext{---}}
    1.15  \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}