improved \isachartilde for non-tt styles;
authorwenzelm
Thu Sep 21 18:33:48 2000 +0200 (2000-09-21)
changeset 10053ef58424d7893
parent 10052 5fa8d8d5c852
child 10054 0afe7d951447
improved \isachartilde for non-tt styles;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Thu Sep 21 15:58:13 2000 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Sep 21 18:33:48 2000 +0200
     1.3 @@ -131,6 +131,7 @@
     1.4  \renewcommand{\isacharbraceleft}{\emph{$\{$}}%
     1.5  \renewcommand{\isacharbar}{\emph{$\mid$}}%
     1.6  \renewcommand{\isacharbraceright}{\emph{$\}$}}%
     1.7 +\renewcommand{\isachartilde}{\emph{${}^\sim$}}%
     1.8  }
     1.9  
    1.10  \newcommand{\isabellestylesl}{%