blob: 25e0120063c942f051a67040a95f531dd321d98b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
%%
%% 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 <return> 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'.
|
