# HG changeset patch
# User wenzelm
# Date 1001529322 -7200
# Node ID cb15e46d9c568aed6b1158aabdb6f4d7f6f27006
# Parent  3e3b63fe1e48b59c1de5fbfa04171d09627c03fc
turn bullet into bold cdot (looks much better in printed output);

diff -r 3e3b63fe1e48 -r cb15e46d9c56 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Sep 26 20:34:22 2001 +0200
+++ b/lib/texinputs/isabellesym.sty	Wed Sep 26 20:35:22 2001 +0200
@@ -5,16 +5,6 @@
 %% definitions of standard Isabelle symbols
 %%
 
-% Required packages for unusual symbols -- see below for details.
-%\usepackage{latexsym}
-%\usepackage{amssymb}
-%\usepackage[english]{babel}
-%\usepackage[latin1]{inputenc}
-%\usepackage[only,bigsqcap]{stmaryrd}
-%\usepackage{wasysym}
-%\usepackage{eufrak}
-
-
 % symbol definitions
 
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
@@ -276,7 +266,7 @@
 \newcommand{\isasymdagger}{\isamath{\dagger}}
 \newcommand{\isasymddagger}{\isamath{\ddagger}}
 \newcommand{\isasymcirc}{\isamath{\circ}}
-\newcommand{\isasymbullet}{\isamath{\bullet}}
+\newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
 \newcommand{\isasymlhd}{\isamath{\lhd}}
 \newcommand{\isasymrhd}{\isamath{\rhd}}
 \newcommand{\isasymunlhd}{\isamath{\unlhd}}