--- a/lib/texinputs/isabellesym.sty Thu Aug 24 00:54:54 2000 +0200
+++ b/lib/texinputs/isabellesym.sty Thu Aug 24 00:55:42 2000 +0200
@@ -5,6 +5,7 @@
%%
\usepackage{latexsym}
+%\usepackage{amssymb}
%\usepackage[latin1]{inputenc}
\newcommand{\bigsqcap}{\overline{|\,\,|}} %just a hack
@@ -15,8 +16,10 @@
\newcommand{\isasymDelta}{$\Delta$}
\newcommand{\isasymTheta}{$\Theta$}
\newcommand{\isasymLambda}{$\Lambda$}
+\newcommand{\isasymXi}{$\Xi$}
\newcommand{\isasymPi}{$\Pi$}
\newcommand{\isasymSigma}{$\Sigma$}
+\newcommand{\isasymUpsilon}{$\Upsilon$}
\newcommand{\isasymPhi}{$\Phi$}
\newcommand{\isasymPsi}{$\Psi$}
\newcommand{\isasymOmega}{$\Omega$}
@@ -28,15 +31,17 @@
\newcommand{\isasymzeta}{$\zeta$}
\newcommand{\isasymeta}{$\eta$}
\newcommand{\isasymtheta}{$\vartheta$}
+\newcommand{\isasymiota}{$\iota$}
\newcommand{\isasymkappa}{$\kappa$}
\newcommand{\isasymlambda}{$\lambda$}
\newcommand{\isasymmu}{$\mu$}
\newcommand{\isasymnu}{$\nu$}
\newcommand{\isasymxi}{$\xi$}
\newcommand{\isasympi}{$\pi$}
-\newcommand{\isasymrho}{$\rho$}
+\newcommand{\isasymrho}{$\varrho$}
\newcommand{\isasymsigma}{$\sigma$}
\newcommand{\isasymtau}{$\tau$}
+\newcommand{\isasymupsilon}{$\upsilon$}
\newcommand{\isasymphi}{$\varphi$}
\newcommand{\isasymchi}{$\chi$}
\newcommand{\isasympsi}{$\psi$}
@@ -86,7 +91,7 @@
\newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}}
\newcommand{\isasymMidarrow}{\emph{$=$}}%deprecated
\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
-\newcommand{\isasymbow}{\emph{$\frown$}}
+\newcommand{\isasymfrown}{\emph{$\frown$}}
\newcommand{\isasymmapsto}{\emph{$\mapsto$}}
\newcommand{\isasymleadsto}{\emph{$\leadsto$}}
\newcommand{\isasymup}{\emph{$\uparrow$}}
@@ -150,3 +155,86 @@
\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
\newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
\newcommand{\isasymtop}{\emph{$\top$}}
+
+\newcommand{\isasymcong}{\emph{$\cong$}}
+\newcommand{\isasymclubsuit}{\emph{$\clubsuit$}}
+\newcommand{\isasymdiamondsuit}{\emph{$\diamondsuit$}}
+\newcommand{\isasymheartsuit}{\emph{$\heartsuit$}}
+\newcommand{\isasymspadesuit}{\emph{$\spadesuit$}}
+\newcommand{\isasymleftrightarrow}{\emph{$\leftrightarrow$}}
+\newcommand{\isasymge}{\emph{$\ge$}}
+\newcommand{\isasympropto}{\emph{$\propto$}}
+\newcommand{\isasympartial}{\emph{$\partial$}}
+\newcommand{\isasymdots}{\emph{$\dots$}}
+\newcommand{\isasymaleph}{\emph{$\aleph$}}
+\newcommand{\isasymIm}{\emph{$\Im$}}
+\newcommand{\isasymRe}{\emph{$\Re$}}
+\newcommand{\isasymwp}{\emph{$\wp$}}
+\newcommand{\isasymemptyset}{\emph{$\emptyset$}}
+\newcommand{\isasymangle}{\emph{$\angle$}}
+\newcommand{\isasymnabla}{\emph{$\nabla$}}
+\newcommand{\isasymProd}{\emph{$\prod$}}
+\newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}}
+\newcommand{\isasymUparrow}{\emph{$\Uparrow$}}
+\newcommand{\isasymDownarrow}{\emph{$\Downarrow$}}
+\newcommand{\isasymlozenge}{\emph{$\lozenge$}}
+\newcommand{\isasymlangle}{\emph{$\langle$}}
+\newcommand{\isasymrangle}{\emph{$\rangle$}}
+\newcommand{\isasymSum}{\emph{$\sum$}}
+\newcommand{\isasymintegral}{\emph{$\int$}}
+\newcommand{\isasymdagger}{\emph{$\dagger$}}
+\newcommand{\isasymsharp}{\emph{$\sharp$}}
+\newcommand{\isasymstar}{\emph{$\star$}}
+\newcommand{\isasymtriangleright}{\emph{$\triangleright$}}
+\newcommand{\isasymlhd}{\emph{$\lhd$}}
+\newcommand{\isasymtriangle}{\emph{$\triangle$}}
+\newcommand{\isasymrhd}{\emph{$\rhd$}}
+\newcommand{\isasymunlhd}{\emph{$\unlhd$}}
+\newcommand{\isasymunrhd}{\emph{$\unrhd$}}
+\newcommand{\isasymtriangleleft}{\emph{$\triangleleft$}}
+\newcommand{\isasymnatural}{\emph{$\natural$}}
+\newcommand{\isasymflat}{\emph{$\flat$}}
+\newcommand{\isasymamalg}{\emph{$\amalg$}}
+\newcommand{\isasymmho}{\emph{$\mho$}}
+\newcommand{\isasymupdownarrow}{\emph{$\updownarrow$}}
+\newcommand{\isasymlongmapsto}{\emph{$\longmapsto$}}
+\newcommand{\isasymUpdownarrow}{\emph{$\Updownarrow$}}
+\newcommand{\isasymhookleftarrow}{\emph{$\hookleftarrow$}}
+\newcommand{\isasymhookrightarrow}{\emph{$\hookrightarrow$}}
+\newcommand{\isasymrightleftharpoons}{\emph{$\rightleftharpoons$}}
+\newcommand{\isasymleftharpoondown}{\emph{$\leftharpoondown$}}
+\newcommand{\isasymrightharpoondown}{\emph{$\rightharpoondown$}}
+\newcommand{\isasymleftharpoonup}{\emph{$\leftharpoonup$}}
+\newcommand{\isasymrightharpoonup}{\emph{$\rightharpoonup$}}
+\newcommand{\isasymasymp}{\emph{$\asymp$}}
+\newcommand{\isasymminusplus}{\emph{$\mp$}}
+\newcommand{\isasymbowtie}{\emph{$\bowtie$}}
+\newcommand{\isasymcdots}{\emph{$\cdots$}}
+\newcommand{\isasymodot}{\emph{$\odot$}}
+\newcommand{\isasymsupset}{\emph{$\supset$}}
+\newcommand{\isasymsupseteq}{\emph{$\supseteq$}}
+\newcommand{\isasymsqsupset}{\emph{$\sqsupset$}}
+\newcommand{\isasymsqsupseteq}{\emph{$\sqsupseteq$}}
+\newcommand{\isasymll}{\emph{$\ll$}}
+\newcommand{\isasymgg}{\emph{$\gg$}}
+\newcommand{\isasymuplus}{\emph{$\uplus$}}
+\newcommand{\isasymsmile}{\emph{$\smile$}}
+\newcommand{\isasymsucceq}{\emph{$\succeq$}}
+\newcommand{\isasymstileturn}{\emph{$\dashv$}}
+\newcommand{\isasymOr}{\emph{$\bigvee$}}
+\newcommand{\isasymbiguplus}{\emph{$\biguplus$}}
+\newcommand{\isasymddagger}{\emph{$\ddagger$}}
+\newcommand{\isasymJoin}{\emph{$\Join$}}
+\newcommand{\isasymbool}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{B}$}}
+\newcommand{\isasymcomplex}{\emph{$\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu$}}
+\newcommand{\isasymnat}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{N}$}}
+\newcommand{\isasymrat}{\emph{$\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu$}}
+\newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}}
+\newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}}
+
+%requires amssymb
+\newcommand{\isasymlesssim}{\emph{$\lesssim$}}
+\newcommand{\isasymgreatersim}{\emph{$\gtrsim$}}
+\newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}
+\newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}}
+\newcommand{\isasymtriangleq}{\emph{$\triangleq$}}