Commit | Line | Data |
---|---|---|
bd6267f0 WJ |
1 | .nr _0 \n(c. |
2 | .\" Copyright (c) 1988 The Regents of the University of California. | |
3 | .\" All rights reserved. | |
4 | .\" | |
5 | .\" Redistribution and use in source and binary forms, with or without | |
6 | .\" modification, are permitted provided that the following conditions | |
7 | .\" are met: | |
8 | .\" 1. Redistributions of source code must retain the above copyright | |
9 | .\" notice, this list of conditions and the following disclaimer. | |
10 | .\" 2. Redistributions in binary form must reproduce the above copyright | |
11 | .\" notice, this list of conditions and the following disclaimer in the | |
12 | .\" documentation and/or other materials provided with the distribution. | |
13 | .\" 3. All advertising materials mentioning features or use of this software | |
14 | .\" must display the following acknowledgement: | |
15 | .\" This product includes software developed by the University of | |
16 | .\" California, Berkeley and its contributors. | |
17 | .\" 4. Neither the name of the University nor the names of its contributors | |
18 | .\" may be used to endorse or promote products derived from this software | |
19 | .\" without specific prior written permission. | |
20 | .\" | |
21 | .\" THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND | |
22 | .\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
23 | .\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |
24 | .\" ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE | |
25 | .\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | |
26 | .\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | |
27 | .\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | |
28 | .\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | |
29 | .\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | |
30 | .\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | |
31 | .\" SUCH DAMAGE. | |
32 | .\" | |
33 | .\" @(#)chars.me 5.1 (Berkeley) 4/17/91 | |
34 | .\" | |
35 | .\" %beginstrip% | |
36 | .\" | |
37 | .\" *** special characters *** | |
38 | .\" this file uses temp strings of the form #x. | |
39 | .if n \ | |
40 | \{\ | |
41 | . ds #[ \f1 | |
42 | . ds #] \fP | |
43 | . ds #h 0 | |
44 | . ds #v 0.8m | |
45 | . ds #f 0.3m | |
46 | .\} | |
47 | .if t \ | |
48 | \{\ | |
49 | . ds #[ \& | |
50 | . ds #] \& | |
51 | . ds #h ((1u-(\\\\n(.fu%2u))*0.13m) | |
52 | . ds #v 0.6m | |
53 | . ds #f 0 | |
54 | .\} | |
55 | .\" \" accents | |
56 | .ds ' \k_\h'-(\\n(.wu*8/10-\*(#h)'\*(#[\(aa\h'|\\n_u'\*(#] | |
57 | .ds ` \k_\h'-(\\n(.wu*7/10-\*(#h)'\*(#[\(ga\h'|\\n_u'\*(#] | |
58 | .\" \" umlaut | |
59 | .ds : \k_\h'-(\\n(.wu*8/10-\*(#h+0.1m+\*(#f)'\v'-\*(#v'\*(#[\z.\h'0.2m+\*(#f'.\h'|\\n_u'\v'\*(#v'\*(#] | |
60 | .\" \" circumflex and tilde | |
61 | .ds ^ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[^\h'|\\n_u'\*(#] | |
62 | .ds ~ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[~\h'|\\n_u'\*(#] | |
63 | .\" \" cedilla and czech | |
64 | .ds , \k_\h'-(\\n(.wu)'\*(#[,\h'|\\n_u'\*(#] | |
65 | .ds v \k_\h'-(\\n(.wu*9/10-\*(#h)'\v'-\*(#v'\*(#[\s-4v\s0\v'\*(#v'\h'|\\n_u'\*(#] | |
66 | .\" \" Norwegian A or angstrom | |
67 | .ds o \k_\h'-(\\n(.wu+\w'\(de'u-\*(#h)/2u'\v'-0.4n'\*(#[\z\(de\v'0.4n'\h'|\\n_u'\*(#] | |
68 | .\" \" there exists, for all | |
69 | .ds qe \*(#[\v'0.5m'\z\(em\v'-0.65m'\z\(em\v'-0.65m'\z\(em\v'0.8m'\h'0.3m'|\h'-0.3m'\*(#] | |
70 | .ds qa \*(#[\h'-0.24m'\z\e\h'0.48m'\z\(sl\h'-0.24m'\v'-0.15m'\(em\v'0.15m'\*(#] | |
71 | .if t \ | |
72 | \{\ | |
73 | . ds qe \s-2\v'0.45m'\z\(em\v'-0.625m'\z\(em\v'-0.625m'\(em\v'0.8m'\s0\h'-0.1m'\v'-0.05m'\(br\v'0.05m'\h'0.1m' | |
74 | . ds qa \z\e\h'0.35m'\z\(sl\h'-0.33m'\v'-0.3m'\s-4\(em\s0\v'0.3m'\h'0.15m' | |
75 | .\} | |
76 | .if \n($T \ | |
77 | \{\ | |
78 | . ds ' \*(#[\h'-1'\(aa\*(#] | |
79 | . ds ` \*(#[\h'-1'\(ga\*(#] | |
80 | . ds : \& | |
81 | . ds ^ \*(#[\h'-1'^\*(#] | |
82 | . ds ~ \*(#[\h'-1'~\*(#] | |
83 | . ds , \*(#[\h'-1',\*(#] | |
84 | . ds v \& | |
85 | . ds o \& | |
86 | . ds qe EXISTS | |
87 | . ds qa FORALL | |
88 | .\} | |
89 | .rm #[ | |
90 | .rm #] | |
91 | .rm #h | |
92 | .rm #v | |
93 | .rm #f | |
94 | .nr c. \n(_0 |