turn bullet into bold cdot (looks much better in printed output);
authorwenzelm
Wed Sep 26 20:35:22 2001 +0200 (2001-09-26)
changeset 11571cb15e46d9c56
parent 11570 3e3b63fe1e48
child 11572 93da54c8a687
turn bullet into bold cdot (looks much better in printed output);
lib/texinputs/isabellesym.sty
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Sep 26 20:34:22 2001 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Sep 26 20:35:22 2001 +0200
     1.3 @@ -5,16 +5,6 @@
     1.4  %% definitions of standard Isabelle symbols
     1.5  %%
     1.6  
     1.7 -% Required packages for unusual symbols -- see below for details.
     1.8 -%\usepackage{latexsym}
     1.9 -%\usepackage{amssymb}
    1.10 -%\usepackage[english]{babel}
    1.11 -%\usepackage[latin1]{inputenc}
    1.12 -%\usepackage[only,bigsqcap]{stmaryrd}
    1.13 -%\usepackage{wasysym}
    1.14 -%\usepackage{eufrak}
    1.15 -
    1.16 -
    1.17  % symbol definitions
    1.18  
    1.19  \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    1.20 @@ -276,7 +266,7 @@
    1.21  \newcommand{\isasymdagger}{\isamath{\dagger}}
    1.22  \newcommand{\isasymddagger}{\isamath{\ddagger}}
    1.23  \newcommand{\isasymcirc}{\isamath{\circ}}
    1.24 -\newcommand{\isasymbullet}{\isamath{\bullet}}
    1.25 +\newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
    1.26  \newcommand{\isasymlhd}{\isamath{\lhd}}
    1.27  \newcommand{\isasymrhd}{\isamath{\rhd}}
    1.28  \newcommand{\isasymunlhd}{\isamath{\unlhd}}