bold symbols;
authorwenzelm
Wed Sep 26 22:25:23 2001 +0200 (2001-09-26)
changeset 115734f85af77038f
parent 11572 93da54c8a687
child 11574 fd436696b1a1
bold symbols;
doc-src/System/showsymbols
doc-src/System/symbols.tex
lib/texinputs/isabelle.sty
     1.1 --- a/doc-src/System/showsymbols	Wed Sep 26 22:24:55 2001 +0200
     1.2 +++ b/doc-src/System/showsymbols	Wed Sep 26 22:25:23 2001 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  while (<ARGV>) {
     1.5      if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
     1.6         print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
     1.7 +#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
     1.8  #       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
     1.9  #       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
    1.10          if ("$eol" eq "&") {
     2.1 --- a/doc-src/System/symbols.tex	Wed Sep 26 22:24:55 2001 +0200
     2.2 +++ b/doc-src/System/symbols.tex	Wed Sep 26 22:25:23 2001 +0200
     2.3 @@ -10,16 +10,21 @@
     2.4  for Isabelle document output; most of these are also supported by
     2.5  Proof~General when used together with the X-Symbol package.
     2.6  
     2.7 +Any symbol (or plain ASCII character) may be prefixed by \verb,\<^sup>, for
     2.8 +superscript and \verb,\<^sub>, for subscript; e.g.\ \verb,A\<^sup>\<star>, is
     2.9 +presented in {\LaTeX} as \isa{A\isactrlsup{\isasymstar}}.  Most symbols (and
    2.10 +all ASCII characters) may be printed in bold by prefixing \verb,\<^bold>,, as
    2.11 +in \verb,\<^bold>\<alpha>, which is printed as
    2.12 +\isa{\isactrlbold{\isasymalpha}}.  Note that super- and subscripts may
    2.13 +\emph{not} be combined with bold style.
    2.14 +
    2.15 +See also Chapter~\ref{ch:present} for more details on Isabelle document
    2.16 +preparation.
    2.17 +
    2.18  \begin{center}
    2.19    \input{syms}  
    2.20  \end{center}
    2.21  
    2.22 -Any symbol (or plain ASCII character) may be prefixed by a control sequence
    2.23 -\verb,\<^sup>, for superscript and \verb,\<^sub>, for subscript.  E.g.\ 
    2.24 -\verb,A\<^sup>\<star>, is presented in {\LaTeX} as
    2.25 -\isa{A\isactrlsup{\isasymstar}}.  See also Chapter~\ref{ch:present} for more
    2.26 -information on Isabelle document preparation and related issues.
    2.27 -
    2.28  %%% Local Variables: 
    2.29  %%% mode: latex
    2.30  %%% TeX-master: "system"
     3.1 --- a/lib/texinputs/isabelle.sty	Wed Sep 26 22:24:55 2001 +0200
     3.2 +++ b/lib/texinputs/isabelle.sty	Wed Sep 26 22:25:23 2001 +0200
     3.3 @@ -24,6 +24,7 @@
     3.4  \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     3.5  \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
     3.6  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     3.7 +\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     3.8  
     3.9  \newdimen\isa@parindent\newdimen\isa@parskip
    3.10