1 6cc703dc 2004-05-16 devnull .nr _0 \n(c.
 2 6cc703dc 2004-05-16 devnull .\"	@(#)chars.me	2.2	8/29/80
 3 6cc703dc 2004-05-16 devnull .\" This version has had comments stripped; an unstripped version is available.
 4 6cc703dc 2004-05-16 devnull .if n \
 5 6cc703dc 2004-05-16 devnull \{\
 6 6cc703dc 2004-05-16 devnull .	ds #[ \f1
 7 6cc703dc 2004-05-16 devnull .	ds #] \fP
 8 6cc703dc 2004-05-16 devnull .	ds #h 0
 9 6cc703dc 2004-05-16 devnull .	ds #v 0.8m
10 6cc703dc 2004-05-16 devnull .	ds #f 0.3m
11 6cc703dc 2004-05-16 devnull .\}
12 6cc703dc 2004-05-16 devnull .if t \
13 6cc703dc 2004-05-16 devnull \{\
14 6cc703dc 2004-05-16 devnull .	ds #[ \&
15 6cc703dc 2004-05-16 devnull .	ds #] \&
16 6cc703dc 2004-05-16 devnull .	ds #h ((1u-(\\\\n(.fu%2u))*0.13m)
17 6cc703dc 2004-05-16 devnull .	ds #v 0.6m
18 6cc703dc 2004-05-16 devnull .	ds #f 0
19 6cc703dc 2004-05-16 devnull .\}
20 6cc703dc 2004-05-16 devnull .ds ' \k_\h'-(\\n(.wu*8/10-\*(#h)'\*(#[\(aa\h'|\\n_u'\*(#]
21 6cc703dc 2004-05-16 devnull .ds ` \k_\h'-(\\n(.wu*7/10-\*(#h)'\*(#[\(ga\h'|\\n_u'\*(#]
22 6cc703dc 2004-05-16 devnull .ds : \k_\h'-(\\n(.wu*8/10-\*(#h+0.1m+\*(#f)'\v'-\*(#v'\*(#[\z.\h'0.2m+\*(#f'.\h'|\\n_u'\v'\*(#v'\*(#]
23 6cc703dc 2004-05-16 devnull .ds ^ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[^\h'|\\n_u'\*(#]
24 6cc703dc 2004-05-16 devnull .ds ~ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[~\h'|\\n_u'\*(#]
25 6cc703dc 2004-05-16 devnull .ds , \k_\h'-(\\n(.wu)'\*(#[,\h'|\\n_u'\*(#]
26 6cc703dc 2004-05-16 devnull .ds v \k_\h'-(\\n(.wu*9/10-\*(#h)'\v'-\*(#v'\*(#[\s-4v\s0\v'\*(#v'\h'|\\n_u'\*(#]
27 6cc703dc 2004-05-16 devnull .ds o \k_\h'-(\\n(.wu+\w'\(de'u-\*(#h)/2u'\v'-0.4n'\*(#[\z\(de\v'0.4n'\h'|\\n_u'\*(#]
28 6cc703dc 2004-05-16 devnull .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'\*(#]
29 6cc703dc 2004-05-16 devnull .ds qa \*(#[\h'-0.24m'\z\e\h'0.48m'\z\(sl\h'-0.24m'\v'-0.15m'\(em\v'0.15m'\*(#]
30 6cc703dc 2004-05-16 devnull .if t \
31 6cc703dc 2004-05-16 devnull \{\
32 6cc703dc 2004-05-16 devnull .	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'
33 6cc703dc 2004-05-16 devnull .	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'
34 6cc703dc 2004-05-16 devnull .\}
35 6cc703dc 2004-05-16 devnull .if \n($T \
36 6cc703dc 2004-05-16 devnull \{\
37 6cc703dc 2004-05-16 devnull .	ds ' \*(#[\h'-1'\(aa\*(#]
38 6cc703dc 2004-05-16 devnull .	ds ` \*(#[\h'-1'\(ga\*(#]
39 6cc703dc 2004-05-16 devnull .	ds : \&
40 6cc703dc 2004-05-16 devnull .	ds ^ \*(#[\h'-1'^\*(#]
41 6cc703dc 2004-05-16 devnull .	ds ~ \*(#[\h'-1'~\*(#]
42 6cc703dc 2004-05-16 devnull .	ds , \*(#[\h'-1',\*(#]
43 6cc703dc 2004-05-16 devnull .	ds v \&
44 6cc703dc 2004-05-16 devnull .	ds o \&
45 6cc703dc 2004-05-16 devnull .	ds qe EXISTS
46 6cc703dc 2004-05-16 devnull .	ds qa FORALL
47 6cc703dc 2004-05-16 devnull .\}
48 6cc703dc 2004-05-16 devnull .rm #[
49 6cc703dc 2004-05-16 devnull .rm #]
50 6cc703dc 2004-05-16 devnull .rm #h
51 6cc703dc 2004-05-16 devnull .rm #v
52 6cc703dc 2004-05-16 devnull .rm #f
53 6cc703dc 2004-05-16 devnull .nr c. \n(_0