1.1 --- a/lib/texinputs/isabellesym.sty	Wed Sep 26 22:25:23 2001 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Sep 26 22:26:11 2001 +0200
     1.3 @@ -263,10 +263,10 @@
     1.4  \newcommand{\isasymdiv}{\isamath{\div}}
     1.5  \newcommand{\isasymcdot}{\isamath{\cdot}}
     1.6  \newcommand{\isasymstar}{\isamath{\star}}
     1.7 +\newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
     1.8 +\newcommand{\isasymcirc}{\isamath{\circ}}
     1.9  \newcommand{\isasymdagger}{\isamath{\dagger}}
    1.10  \newcommand{\isasymddagger}{\isamath{\ddagger}}
    1.11 -\newcommand{\isasymcirc}{\isamath{\circ}}
    1.12 -\newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
    1.13  \newcommand{\isasymlhd}{\isamath{\lhd}}
    1.14  \newcommand{\isasymrhd}{\isamath{\rhd}}
    1.15  \newcommand{\isasymunlhd}{\isamath{\unlhd}}