1# Style sheet for a2ps style sheet files
2# Copyright (c) 1988, 89, 90, 91, 92, 93 Miguel Santana
3# Copyright (c) 1995, 96, 97, 98 Akim Demaille, Miguel Santana
4# $Id: ssh.ssh,v 1.11 1998/03/15 15:39:55 demaille Exp $
5#
6
7#
8# This file is part of a2ps.
9#
10# This program is free software; you can redistribute it and/or modify
11# it under the terms of the GNU General Public License as published by
12# the Free Software Foundation; either version 2, or (at your option)
13# any later version.
14#
15# This program is distributed in the hope that it will be useful,
16# but WITHOUT ANY WARRANTY; without even the implied warranty of
17# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18# GNU General Public License for more details.
19#
20# You should have received a copy of the GNU General Public License
21# along with this program; see the file COPYING.  If not, write to
22# the Free Software Foundation, 59 Temple Place - Suite 330,
23# Boston, MA 02111-1307, USA.
24#
25
26## 1.0 Akim Demaille <akim@freefriends.org>
27# Created
28#
29## 1.1 Akim Demaille <akim@freefriends.org>
30# In level 2, substitute the latex symbols
31#
32## 1.2 Akim Demaille <akim@freefriends.org>
33# New keywords: closers, documentation, ancestors, alphabets.
34# New sequence: /regex/
35
36style "a2ps style sheet" is
37
38written by "Akim Demaille <akim@freefriends.org>"
39version is 1.2
40requires a2ps 4.9.5
41
42documentation is
43   "Second level of highligthing (option samp(-g)samp)) substitutes the LaTeX symbols."
44end documentation
45
46first alphabet is
47   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\\_"
48second alphabet is
49   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_"
50case sensitive
51
52# Support for the main keywords
53keywords in Keyword_strong are
54
55    "a2ps", "alphabet", "alphabets", "ancestors", "are", "by", "case",
56    "closers", "C-char", "C-string", "documentation", "end",
57    "exceptions", "first", "in", "insensitive", "is", "keywords",
58    "requires", "second", "sensitive", "operators", "optional",
59    "sequences", "style", "version", "written", "Plain", "Keyword",
60    "Keyword_strong", "Comment", "Comment_strong", "Label",
61    "Label_strong", "String", "Symbol", "Tag1", "Tag2", "Tag3",
62    "Tag4", "Index1", "Index2", "Index3", "Index4", "Encoding",
63    "Invisible", "Error"
64
65end keywords
66
67# Support for the predefined symbols
68keywords in Keyword are
69
70    "\\forall", "\\exists", "\\suchthat", "\\cong", "\\Alpha",
71    "\\Beta", "\\Chi", "\\Delta", "\\Epsilon", "\\Phi", "\\Gamma",
72    "\\Eta", "\\Iota", "\\vartheta", "\\Kappa", "\\Lambda", "\\Mu",
73    "\\Nu", "\\Omicron", "\\Pi", "\\Theta", "\\Rho", "\\Sigma",
74    "\\Tau", "\\Upsilon", "\\varsigma", "\\Omega", "\\Xi", "\\Psi",
75    "\\Zeta", "\\therefore", "\\perp", "\\radicalex", "\\alpha",
76    "\\beta", "\\chi", "\\delta", "\\epsilon", "\\phi", "\\gamma",
77    "\\eta", "\\iota", "\\varphi", "\\kappa", "\\lambda", "\\mu",
78    "\\nu", "\\omicron", "\\pi", "\\theta", "\\rho", "\\sigma"
79    "\\tau", "\\upsilon", "\\varpi", "\\omega", "\\xi", "\\psi",
80    "\\zeta", "\\sim", "\\varUpsilon", "\\prime", "\\leq", "\\infty",
81    "\\florin", "\\clubsuit", "\\diamondsuit", "\\heartsuit",
82    "\\spadesuit", "\\leftrightarrow", "\\leftarrow", "\\uparrow",
83    "\\rightarrow", "\\downarrow", "\\circ", "\\pm", "\\geq",
84    "\\times", "\\propto", "\\partial", "\\bullet", "\\div", "\\neq",
85    "\\equiv", "\\approx", "\\ldots", "---", "\\carriagereturn",
86    "\\aleph", "\\Im", "\\Re", "\\wp", "\\otimes", "\\oplus",
87    "\\emptyset", "\\cap", "\\cup", "\\supset", "\\supseteq",
88    "\\not\\subset", "\\subset", "\\subseteq", "\\in", "\\not\\in",
89    "\\angle", "\\nabla", "\\varregister", "\\varcopyright",
90    "\\vartrademark", "\\prod", "\\surd", "\\cdot", "\\not",
91    "\\wedge", "\\vee", "\\Leftrightarrow", "\\Leftarrow",
92    "\\Uparrow", "\\Rightarrow", "\\Downarrow", "\\vardiamondsuit",
93    "\\langle", "\\register", "\\copyright", "\\trademark", "\\sum",
94    "\\lceil", "\\lfloor", "\\rangle", "\\int", "\\rceil", "\\rfloor"
95
96end keywords
97
98# At level 2 of pretty printing, we want to _see_ the symbols
99optional keywords are
100   "\\to" \rightarrow,
101   "\\item" \bullet,
102   "\\backslash" "\\",
103   "\\forall" \forall,
104   "\\exists" \exists,
105   "\\suchthat" \suchthat,
106   "\\cong" \cong,
107   "\\Alpha" \Alpha,
108   "\\Beta" \Beta,
109   "\\Chi" \Chi,
110   "\\Delta" \Delta,
111   "\\Epsilon" \Epsilon,
112   "\\Phi" \Phi,
113   "\\Gamma" \Gamma,
114   "\\Eta" \Eta,
115   "\\Iota" \Iota,
116   "\\vartheta" \vartheta,
117   "\\Kappa" \Kappa,
118   "\\Lambda" \Lambda,
119   "\\Mu" \Mu,
120   "\\Nu" \Nu,
121   "\\Omicron" \Omicron,
122   "\\Pi" \Pi,
123   "\\Theta" \Theta,
124   "\\Rho" \Rho,
125   "\\Sigma" \Sigma,
126   "\\Tau" \Tau,
127   "\\Upsilon" \Upsilon,
128   "\\varsigma" \varsigma,
129   "\\Omega" \Omega,
130   "\\Xi" \Xi,
131   "\\Psi" \Psi,
132   "\\Zeta" \Zeta,
133   "\\therefore" \therefore,
134   "\\perp" \perp,
135   "\\radicalex" \radicalex,
136   "\\alpha" \alpha,
137   "\\beta" \beta,
138   "\\chi" \chi,
139   "\\delta" \delta,
140   "\\epsilon" \epsilon,
141   "\\phi" \phi,
142   "\\gamma" \gamma,
143   "\\eta" \eta,
144   "\\iota" \iota,
145   "\\varphi" \phi,
146   "\\kappa" \kappa,
147   "\\lambda" \lambda,
148   "\\mu" \mu,
149   "\\nu" \nu,
150   "\\omicron" \omicron,
151   "\\pi" \pi,
152   "\\theta" \theta,
153   "\\rho" \rho,
154   "\\sigma" \sigma,
155   "\\tau" \tau,
156   "\\upsilon" \upsilon,
157   "\\varpi" \varpi,
158   "\\omega" \omega,
159   "\\xi" \xi,
160   "\\psi" \psi,
161   "\\zeta" \zeta,
162   "\\sim" \sim,
163   "\\varUpsilon" \varUpsilon,
164   "\\prime" \prime,
165   "\\leq" \leq,
166   "\\infty" \infty,
167   "\\florin" \florin,
168   "\\clubsuit" \clubsuit,
169   "\\diamondsuit" \diamondsuit,
170   "\\heartsuit" \heartsuit,
171   "\\spadesuit" \spadesuit,
172   "\\leftrightarrow" \leftrightarrow,
173   "\\leftarrow" \leftarrow,
174   "\\uparrow" \uparrow,
175   "\\rightarrow" \rightarrow,
176   "\\downarrow" \downarrow,
177   "\\circ" \circ,
178   "\\pm" \pm,
179   "\\geq" \geq,
180   "\\times" \times,
181   "\\propto" \propto,
182   "\\partial" \partial,
183   "\\bullet" \bullet,
184   "\\div" \div,
185   "\\neq" \neq,
186   "\\equiv" \equiv,
187   "\\approx" \approx,
188   "\\ldots" \ldots,
189   "---" ---,
190   "\\carriagereturn" \carriagereturn,
191   "\\aleph" \aleph,
192   "\\Im" \Im,
193   "\\Re" \Re,
194   "\\wp" \wp,
195   "\\otimes" \otimes,
196   "\\oplus" \oplus,
197   "\\emptyset" \emptyset,
198   "\\cap" \cap,
199   "\\cup" \cup,
200   "\\supset" \supset,
201   "\\supseteq" \supseteq,
202   "\\not\\subset" \not\subset,
203   "\\subset" \subset,
204   "\\subseteq" \subseteq,
205   "\\in" \in,
206   "\\not\\in" \not\in,
207   "\\angle" \angle,
208   "\\nabla" \nabla,
209   "\\varregister" \register,
210   "\\varcopyright" \copyright,
211   "\\vartrademark" \trademark,
212   "\\prod" \prod,
213   "\\surd" \surd,
214   "\\cdot" \cdot,
215   "\\not" \not,
216   "\\wedge" \wedge,
217   "\\vee" \vee,
218   "\\Leftrightarrow" \Leftrightarrow,
219   "\\Leftarrow" \Leftarrow,
220   "\\Uparrow" \Uparrow,
221   "\\Rightarrow" \Rightarrow,
222   "\\Downarrow" \Downarrow,
223   "\\lozenge" \diamondsuit,
224   "\\langle" \langle,
225   "\\register" \register,
226   "\\copyright" \copyright,
227   "\\trademark" \trademark,
228   "\\sum" \sum,
229   "\\lceil" \lceil,
230   "\\lfloor" \lfloor,
231   "\\rangle" \rangle,
232   "\\int" \int,
233   "\\rceil" \rceil,
234   "\\rfloor" \rfloor
235end keywords
236
237sequences are
238  # The comments
239  "#" Comment,
240
241  # The name of the style sheet
242  "style " Keyword_strong (Label + Index1) " is" Keyword_strong,
243
244  # Strings are exactly the C-strings, though we don't want to
245  # have them in the "string" face
246  "\"" Plain Plain "\"" Plain
247     exceptions are
248	"\\\\", "\\\""
249     end exceptions,
250
251  # Regexps
252  "/" Plain Plain "/" Plain
253     exceptions are
254	"\\\\", "\\\/"
255     end exceptions
256
257end sequences
258
259end style
260