1.1 --- a/lib/texinputs/isabellesym.sty	Fri Sep 15 16:30:16 2000 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Fri Sep 15 16:31:00 2000 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  %% definitions of standard Isabelle symbols
     1.5  %%
     1.6  
     1.7 -% required packages for unusual symbols -- see below for details
     1.8 +% Required packages for unusual symbols -- see below for details.
     1.9  %\usepackage{latexsym}
    1.10  %\usepackage{amssymb}
    1.11  %\usepackage[english]{babel}
    1.12 @@ -14,7 +14,7 @@
    1.13  %\usepackage[only,bigsqcap]{stmaryrd}
    1.14  %\usepackage{wasysym}
    1.15  
    1.16 -% Note: \emph is the key to proper spacing in fake math mode; it
    1.17 +% Note: \emph is important for proper spacing in fake math mode, it
    1.18  % automatically inserts italic corrections around symbols wherever
    1.19  % appropriate.
    1.20  
    1.21 @@ -127,8 +127,8 @@
    1.22  \newcommand{\isasymLongleftarrow}{\emph{$\Longleftarrow$}}
    1.23  \newcommand{\isasymLongleftrightarrow}{\emph{$\Longleftrightarrow$}}
    1.24  \newcommand{\isasymbar}{\emph{$\mid$}}
    1.25 -\newcommand{\isasymhyphen}{-}
    1.26 -\newcommand{\isasymmacron}{\={}}
    1.27 +\newcommand{\isasymhyphen}{\emph{\rm-}}
    1.28 +\newcommand{\isasymmacron}{\emph{\rm\=\relax}}
    1.29  \newcommand{\isasymexclamdown}{\emph{\rm\textexclamdown}}
    1.30  \newcommand{\isasymquestiondown}{\emph{\rm\textquestiondown}}
    1.31  \newcommand{\isasymguillemotleft}{\emph{\flqq}}  %requires babel
    1.32 @@ -144,7 +144,7 @@
    1.33  \newcommand{\isasymregistered}{\emph{\rm\textregistered}}
    1.34  \newcommand{\isasymordfeminine}{\emph{\rm\textordfeminine}}
    1.35  \newcommand{\isasymordmasculine}{\emph{\rm\textordmasculine}}
    1.36 -\newcommand{\isasymsection}{\S}
    1.37 +\newcommand{\isasymsection}{\emph{\S}}
    1.38  \newcommand{\isasympounds}{\emph{$\pounds$}}
    1.39  \newcommand{\isasymyen}{\emph{\yen}}  %requires amssymb
    1.40  \newcommand{\isasymcent}{\emph{\cent}}  %requires wasysym
    1.41 @@ -232,3 +232,5 @@
    1.42  \newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}  %requires amssymb
    1.43  \newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}}  %requires amssymb
    1.44  \newcommand{\isasymtriangleq}{\emph{$\triangleq$}}  %requires amssymb
    1.45 +\newcommand{\isasymlparr}{\emph{$\mathopen{(\mkern-3mu\mid}$}}
    1.46 +\newcommand{\isasymrparr}{\emph{$\mathclose{\mid\mkern-3mu)}$}}