%% %% This is file `shrthand.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% semantic.dtx (with options: `allOptions,shorthand') %% %% IMPORTANT NOTICE: %% %% For the copyright see the source file. %% %% Any modified versions of this file must be renamed %% with new filenames distinct from shrthand.sty. %% %% For distribution of the original source see the terms %% for copying and modification in the file semantic.dtx. %% %% This generated file may be distributed as long as the %% original source files, as listed above, are part of the %% same distribution. (The sources need not necessarily be %% in the same archive or directory.) %% %% semantic.dtx (c)1995--2002 Peter Møller Neergaard and %% Arne John Glenstrup %% \expandafter\ifx\csname sem@nticsLoader\endcsname\relax \PackageError{semantic}{% This file should not be loaded directly} {% This file is an option of the semantic package. It should not be loaded directly\MessageBreak but by using \protect\usepackage{semantic} in your document preamble.\MessageBreak No commands are defined.\MessageBreak Type to proceed. }% \else \IfFileExists{DONOTUSEmathbbol.sty}{% \RequirePackage{mathbbol} \newcommand{\@bblb}{\textbb{[}} \newcommand{\@bbrb}{\textbb{]}} \newcommand{\@mbblb}{\mathopen{\mbox{\textbb{[}}}} \newcommand{\@mbbrb}{\mathclose{\mbox{\textbb{]}}}} } { \newcommand{\@bblb}{\textnormal{[\kern-.15em[}} \newcommand{\@bbrb}{\textnormal{]\kern-.15em]}} \newcommand{\@mbblb}{\mathopen{[\mkern-2.67mu[}} \newcommand{\@mbbrb}{\mathclose{]\mkern-2.67mu]}} } \mathlig{|-}{\vdash} \mathlig{|=}{\models} \mathlig{->}{\rightarrow} \mathlig{->*}{\mathrel{\rightarrow^*}} \mathlig{->+}{\mathrel{\rightarrow^+}} \mathlig{-->}{\longrightarrow} \mathlig{-->*}{\mathrel{\longrightarrow^*}} \mathlig{-->+}{\mathrel{\longrightarrow^+}} \mathlig{=>}{\Rightarrow} \mathlig{=>*}{\mathrel{\Rightarrow^*}} \mathlig{=>+}{\mathrel{\Rightarrow^+}} \mathlig{==>}{\Longrightarrow} \mathlig{==>*}{\mathrel{\Longrightarrow^*}} \mathlig{==>+}{\mathrel{\Longrightarrow^+}} \mathlig{<-}{\leftarrow} \mathlig{*<-}{\mathrel{{}^*\mkern-1mu\mathord\leftarrow}} \mathlig{+<-}{\mathrel{{}^+\mkern-1mu\mathord\leftarrow}} \mathlig{<--}{\longleftarrow} \mathlig{*<--}{\mathrel{{}^*\mkern-1mu\mathord{\longleftarrow}}} \mathlig{+<--}{\mathrel{{}^+\mkern-1mu\mathord{\longleftarrow}}} \mathlig{<=}{\Leftarrow} \mathlig{*<=}{\mathrel{{}^*\mkern-1mu\mathord\Leftarrow}} \mathlig{+<=}{\mathrel{{}^+\mkern-1mu\mathord\Leftarrow}} \mathlig{<==}{\Longleftarrow} \mathlig{*<==}{\mathrel{{}^*\mkern-1mu\mathord{\Longleftarrow}}} \mathlig{+<==}{\mathrel{{}^+\mkern-1mu\mathord{\Longleftarrow}}} \mathlig{<->}{\longleftrightarrow} \mathlig{<=>}{\Longleftrightarrow} \mathlig{|[}{\@mbblb} \mathlig{|]}{\@mbbrb} \newcommand{\evalsymbol}[1][]{\ensuremath{\mathcal{E}^{#1}}} \newcommand{\compsymbol}[1][]{\ensuremath{\mathcal{C}^{#1}}} \newcommand{\eval}[3][]% {\mbox{$\mathcal{E}^{#1}$\@bblb \texttt{#2}\@bbrb}% \ensuremath{\mathtt{#3}}} \newcommand{\comp}[3][]% {\mbox{$\mathcal{C}^{#1}$\@bblb \texttt{#2}\@bbrb}% \ensuremath{\mathtt{#3}}} \newcommand{\@exe}[3]{} \newcommand{\exe}[1]{\@ifnextchar[{\@exe{#1}}{\@exe{#1}[]}} \def\@exe#1[#2]#3{% \mbox{\@bblb\texttt{#1}\@bbrb$^\mathtt{#2}\mathtt{(#3)}$}} \fi \endinput %% %% End of file `shrthand.sty'.