1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/texinputs/isabellesym.sty	Sat Oct 30 20:11:35 1999 +0200
     1.3 @@ -0,0 +1,148 @@
     1.4 +%%
     1.5 +%% $Id$
     1.6 +%%
     1.7 +%% definitions of many Isabelle symbols
     1.8 +%%
     1.9 +
    1.10 +\usepackage{latexsym}
    1.11 +
    1.12 +\newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
    1.13 +%\def\textbrokenbar??? etc
    1.14 +
    1.15 +\newcommand{\isasymspacespace}{~~}
    1.16 +\newcommand{\isasymGamma}{$\Gamma$}
    1.17 +\newcommand{\isasymDelta}{$\Delta$}
    1.18 +\newcommand{\isasymTheta}{$\Theta$}
    1.19 +\newcommand{\isasymLambda}{$\Lambda$}
    1.20 +\newcommand{\isasymPi}{$\Pi$}
    1.21 +\newcommand{\isasymSigma}{$\Sigma$}
    1.22 +\newcommand{\isasymPhi}{$\Phi$}
    1.23 +\newcommand{\isasymPsi}{$\Psi$}
    1.24 +\newcommand{\isasymOmega}{$\Omega$}
    1.25 +\newcommand{\isasymalpha}{$\alpha$}
    1.26 +\newcommand{\isasymbeta}{$\beta$}
    1.27 +\newcommand{\isasymgamma}{$\gamma$}
    1.28 +\newcommand{\isasymdelta}{$\delta$}
    1.29 +\newcommand{\isasymepsilon}{$\varepsilon$}
    1.30 +\newcommand{\isasymzeta}{$\zeta$}
    1.31 +\newcommand{\isasymeta}{$\eta$}
    1.32 +\newcommand{\isasymtheta}{$\vartheta$}
    1.33 +\newcommand{\isasymkappa}{$\kappa$}
    1.34 +\newcommand{\isasymlambda}{$\lambda$}
    1.35 +\newcommand{\isasymmu}{$\mu$}
    1.36 +\newcommand{\isasymnu}{$\nu$}
    1.37 +\newcommand{\isasymxi}{$\xi$}
    1.38 +\newcommand{\isasympi}{$\pi$}
    1.39 +\newcommand{\isasymrho}{$\rho$}
    1.40 +\newcommand{\isasymsigma}{$\sigma$}
    1.41 +\newcommand{\isasymtau}{$\tau$}
    1.42 +\newcommand{\isasymphi}{$\varphi$}
    1.43 +\newcommand{\isasymchi}{$\chi$}
    1.44 +\newcommand{\isasympsi}{$\psi$}
    1.45 +\newcommand{\isasymomega}{$\omega$}
    1.46 +\newcommand{\isasymnot}{\emph{$\neg$}}
    1.47 +\newcommand{\isasymand}{\emph{$\wedge$}}
    1.48 +\newcommand{\isasymor}{\emph{$\vee$}}
    1.49 +\newcommand{\isasymforall}{\emph{$\forall$}}
    1.50 +\newcommand{\isasymexists}{\emph{$\exists$}}
    1.51 +\newcommand{\isasymAnd}{\emph{$\bigwedge$}}
    1.52 +\newcommand{\isasymlceil}{\emph{$\lceil$}}
    1.53 +\newcommand{\isasymrceil}{\emph{$\rceil$}}
    1.54 +\newcommand{\isasymlfloor}{\emph{$\lfloor$}}
    1.55 +\newcommand{\isasymrfloor}{\emph{$\rfloor$}}
    1.56 +\newcommand{\isasymturnstile}{\emph{$\vdash$}}
    1.57 +\newcommand{\isasymTurnstile}{\emph{$\models$}}
    1.58 +\newcommand{\isasymlbrakk}{\emph{$\mathopen{\lbrack\mkern-3mu\lbrack}$}}
    1.59 +\newcommand{\isasymrbrakk}{\emph{$\mathclose{\rbrack\mkern-3mu\rbrack}$}}
    1.60 +\newcommand{\isasymcdot}{\emph{$\cdot$}}
    1.61 +\newcommand{\isasymin}{\emph{$\in$}}
    1.62 +\newcommand{\isasymsubseteq}{\emph{$\subseteq$}}
    1.63 +\newcommand{\isasyminter}{\emph{$\cap$}}
    1.64 +\newcommand{\isasymunion}{\emph{$\cup$}}
    1.65 +\newcommand{\isasymInter}{\emph{$\bigcap$}}
    1.66 +\newcommand{\isasymUnion}{\emph{$\bigcup$}}
    1.67 +\newcommand{\isasymsqinter}{\emph{$\sqcap$}}
    1.68 +\newcommand{\isasymsqunion}{\emph{$\sqcup$}}
    1.69 +\newcommand{\isasymSqinter}{\emph{$\bigsqcap$}}
    1.70 +\newcommand{\isasymSqunion}{\emph{$\bigsqcup$}}
    1.71 +\newcommand{\isasymbottom}{\emph{$\bot$}}
    1.72 +\newcommand{\isasymdoteq}{\emph{$\doteq$}}
    1.73 +\newcommand{\isasymequiv}{\emph{$\equiv$}}
    1.74 +\newcommand{\isasymnoteq}{\emph{$\not=$}}
    1.75 +\newcommand{\isasymsqsubset}{\emph{$\sqsubset$}}
    1.76 +\newcommand{\isasymsqsubseteq}{\emph{$\sqsubseteq$}}
    1.77 +\newcommand{\isasymprec}{\emph{$\prec$}}
    1.78 +\newcommand{\isasympreceq}{\emph{$\preceq$}}
    1.79 +\newcommand{\isasymsucc}{\emph{$\succ$}}
    1.80 +\newcommand{\isasymapprox}{\emph{$\approx$}}
    1.81 +\newcommand{\isasymsim}{\emph{$\sim$}}
    1.82 +\newcommand{\isasymsimeq}{\emph{$\simeq$}}
    1.83 +\newcommand{\isasymle}{\emph{$\le$}}
    1.84 +\newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
    1.85 +\newcommand{\isasymleftarrow}{\emph{$\leftarrow$}}
    1.86 +\newcommand{\isasymmidarrow}{\emph{$-$}}%deprecated
    1.87 +\newcommand{\isasymrightarrow}{\emph{$\rightarrow$}}
    1.88 +\newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}}
    1.89 +\newcommand{\isasymMidarrow}{\emph{$=$}}%deprecated
    1.90 +\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
    1.91 +\newcommand{\isasymbow}{\emph{$\frown$}}
    1.92 +\newcommand{\isasymmapsto}{\emph{$\mapsto$}}
    1.93 +\newcommand{\isasymleadsto}{\emph{$\leadsto$}}
    1.94 +\newcommand{\isasymup}{\emph{$\uparrow$}}
    1.95 +\newcommand{\isasymdown}{\emph{$\downarrow$}}
    1.96 +\newcommand{\isasymnotin}{\emph{$\notin$}}
    1.97 +\newcommand{\isasymtimes}{\emph{$\times$}}
    1.98 +\newcommand{\isasymoplus}{\emph{$\oplus$}}
    1.99 +\newcommand{\isasymominus}{\emph{$\ominus$}}
   1.100 +\newcommand{\isasymotimes}{\emph{$\otimes$}}
   1.101 +\newcommand{\isasymoslash}{\emph{$\oslash$}}
   1.102 +\newcommand{\isasymsubset}{\emph{$\subset$}}
   1.103 +\newcommand{\isasyminfinity}{\emph{$\infty$}}
   1.104 +\newcommand{\isasymbox}{\emph{$\Box$}}
   1.105 +\newcommand{\isasymdiamond}{\emph{$\Diamond$}}
   1.106 +\newcommand{\isasymcirc}{\emph{$\circ$}}
   1.107 +\newcommand{\isasymbullet}{\emph{$\bullet$}}
   1.108 +\newcommand{\isasymparallel}{\emph{$\parallel$}}
   1.109 +\newcommand{\isasymsurd}{\emph{$\surd$}}
   1.110 +\newcommand{\isasymcopyright}{\emph{\copyright}}
   1.111 +
   1.112 +\newcommand{\isasymplusminus}{\emph{$\pm$}}
   1.113 +\newcommand{\isasymdiv}{\emph{$\div$}}
   1.114 +\newcommand{\isasymlongrightarrow}{\emph{$\longrightarrow$}}
   1.115 +\newcommand{\isasymlongleftarrow}{\emph{$\longleftarrow$}}
   1.116 +\newcommand{\isasymlongleftrightarrow}{\emph{$\longleftrightarrow$}}
   1.117 +\newcommand{\isasymLongrightarrow}{\emph{$\Longrightarrow$}}
   1.118 +\newcommand{\isasymLongleftarrow}{\emph{$\Longleftarrow$}}
   1.119 +\newcommand{\isasymLongleftrightarrow}{\emph{$\Longleftrightarrow$}}
   1.120 +%requires OT1 encoding:
   1.121 +\newcommand{\isasymbrokenbar}{\emph{\textbrokenbar}}
   1.122 +\newcommand{\isasymhyphen}{-}
   1.123 +\newcommand{\isasymmacron}{\={}}
   1.124 +\newcommand{\isasymexclamdown}{\emph{\textexclamdown}}
   1.125 +\newcommand{\isasymquestiondown}{\emph{\textquestiondown}}
   1.126 +%requires OT1 encoding:
   1.127 +\newcommand{\isasymguillemotleft}{\emph{\guillemotleft}}
   1.128 +%requires OT1 encoding:
   1.129 +\newcommand{\isasymguillemotright}{\emph{\guillemotright}}
   1.130 +%should be available (?):
   1.131 +\newcommand{\isasymdegree}{\emph{\textdegree}}
   1.132 +\newcommand{\isasymonesuperior}{\emph{$\mathonesuperior$}}
   1.133 +\newcommand{\isasymonequarter}{\emph{\textonequarter}}
   1.134 +\newcommand{\isasymtwosuperior}{\emph{$\mathtwosuperior$}}
   1.135 +\newcommand{\isasymonehalf}{\emph{\textonehalf}}
   1.136 +\newcommand{\isasymthreesuperior}{\emph{$\maththreesuperior$}}
   1.137 +\newcommand{\isasymthreequarters}{\emph{\textthreequarters}}
   1.138 +\newcommand{\isasymparagraph}{\emph{\P}}
   1.139 +\newcommand{\isasymregistered}{\emph{\textregistered}}
   1.140 +%should be available (?):
   1.141 +\newcommand{\isasymordfeminine}{\emph{\textordfeminine}}
   1.142 +%should be available (?):
   1.143 +\newcommand{\isasymordmasculine}{\emph{\textordmasculine}}
   1.144 +\newcommand{\isasymsection}{\S}
   1.145 +\newcommand{\isasympounds}{\emph{$\pounds$}}
   1.146 +%requires OT1 encoding:
   1.147 +\newcommand{\isasymyen}{\emph{\textyen}}
   1.148 +%requires OT1 encoding:
   1.149 +\newcommand{\isasymcent}{\emph{\textcent}}
   1.150 +%requires OT1 encoding:
   1.151 +\newcommand{\isasymcurrency}{\emph{\textcurrency}}