blob: 2b0add6fcaa6bec8bbf92c50887d4cf7c46f3bab (
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
|
.nr _0 \n(c.
.\" @(#)chars.me 2.2 8/29/80
.\" This version has had comments stripped; an unstripped version is available.
.if n \
\{\
. ds #[ \f1
. ds #] \fP
. ds #h 0
. ds #v 0.8m
. ds #f 0.3m
.\}
.if t \
\{\
. ds #[ \&
. ds #] \&
. ds #h ((1u-(\\\\n(.fu%2u))*0.13m)
. ds #v 0.6m
. ds #f 0
.\}
.ds ' \k_\h'-(\\n(.wu*8/10-\*(#h)'\*(#[\(aa\h'|\\n_u'\*(#]
.ds ` \k_\h'-(\\n(.wu*7/10-\*(#h)'\*(#[\(ga\h'|\\n_u'\*(#]
.ds : \k_\h'-(\\n(.wu*8/10-\*(#h+0.1m+\*(#f)'\v'-\*(#v'\*(#[\z.\h'0.2m+\*(#f'.\h'|\\n_u'\v'\*(#v'\*(#]
.ds ^ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[^\h'|\\n_u'\*(#]
.ds ~ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[~\h'|\\n_u'\*(#]
.ds , \k_\h'-(\\n(.wu)'\*(#[,\h'|\\n_u'\*(#]
.ds v \k_\h'-(\\n(.wu*9/10-\*(#h)'\v'-\*(#v'\*(#[\s-4v\s0\v'\*(#v'\h'|\\n_u'\*(#]
.ds o \k_\h'-(\\n(.wu+\w'\(de'u-\*(#h)/2u'\v'-0.4n'\*(#[\z\(de\v'0.4n'\h'|\\n_u'\*(#]
.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'\*(#]
.ds qa \*(#[\h'-0.24m'\z\e\h'0.48m'\z\(sl\h'-0.24m'\v'-0.15m'\(em\v'0.15m'\*(#]
.if t \
\{\
. 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'
. 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'
.\}
.if \n($T \
\{\
. ds ' \*(#[\h'-1'\(aa\*(#]
. ds ` \*(#[\h'-1'\(ga\*(#]
. ds : \&
. ds ^ \*(#[\h'-1'^\*(#]
. ds ~ \*(#[\h'-1'~\*(#]
. ds , \*(#[\h'-1',\*(#]
. ds v \&
. ds o \&
. ds qe EXISTS
. ds qa FORALL
.\}
.rm #[
.rm #]
.rm #h
.rm #v
.rm #f
.nr c. \n(_0
|