# HG changeset patch
# User wenzelm
# Date 969028260 -7200
# Node ID b00373bf9cf32a435d276b222d883d21b29c53e6
# Parent  236cf072264d4528c8c85e1794e7e30ea4db80fc
added lparr, rparr;
tuned some symbols;

diff -r 236cf072264d -r b00373bf9cf3 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Fri Sep 15 16:30:16 2000 +0200
+++ b/lib/texinputs/isabellesym.sty	Fri Sep 15 16:31:00 2000 +0200
@@ -6,7 +6,7 @@
 %% definitions of standard Isabelle symbols
 %%
 
-% required packages for unusual symbols -- see below for details
+% Required packages for unusual symbols -- see below for details.
 %\usepackage{latexsym}
 %\usepackage{amssymb}
 %\usepackage[english]{babel}
@@ -14,7 +14,7 @@
 %\usepackage[only,bigsqcap]{stmaryrd}
 %\usepackage{wasysym}
 
-% Note: \emph is the key to proper spacing in fake math mode; it
+% Note: \emph is important for proper spacing in fake math mode, it
 % automatically inserts italic corrections around symbols wherever
 % appropriate.
 
@@ -127,8 +127,8 @@
 \newcommand{\isasymLongleftarrow}{\emph{$\Longleftarrow$}}
 \newcommand{\isasymLongleftrightarrow}{\emph{$\Longleftrightarrow$}}
 \newcommand{\isasymbar}{\emph{$\mid$}}
-\newcommand{\isasymhyphen}{-}
-\newcommand{\isasymmacron}{\={}}
+\newcommand{\isasymhyphen}{\emph{\rm-}}
+\newcommand{\isasymmacron}{\emph{\rm\=\relax}}
 \newcommand{\isasymexclamdown}{\emph{\rm\textexclamdown}}
 \newcommand{\isasymquestiondown}{\emph{\rm\textquestiondown}}
 \newcommand{\isasymguillemotleft}{\emph{\flqq}}  %requires babel
@@ -144,7 +144,7 @@
 \newcommand{\isasymregistered}{\emph{\rm\textregistered}}
 \newcommand{\isasymordfeminine}{\emph{\rm\textordfeminine}}
 \newcommand{\isasymordmasculine}{\emph{\rm\textordmasculine}}
-\newcommand{\isasymsection}{\S}
+\newcommand{\isasymsection}{\emph{\S}}
 \newcommand{\isasympounds}{\emph{$\pounds$}}
 \newcommand{\isasymyen}{\emph{\yen}}  %requires amssymb
 \newcommand{\isasymcent}{\emph{\cent}}  %requires wasysym
@@ -232,3 +232,5 @@
 \newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}  %requires amssymb
 \newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}}  %requires amssymb
 \newcommand{\isasymtriangleq}{\emph{$\triangleq$}}  %requires amssymb
+\newcommand{\isasymlparr}{\emph{$\mathopen{(\mkern-3mu\mid}$}}
+\newcommand{\isasymrparr}{\emph{$\mathclose{\mid\mkern-3mu)}$}}