\" Copyright (c) 1980 Regents of the University of California.
\" All rights reserved. The Berkeley software License Agreement
\" specifies the terms and conditions for redistribution.
\"
\" @(#)manDefs.rno 6.3 (Berkeley) 5/10/86
\"
sc
ta 1.0i 2.0i 3.0i 4.0i 5.0i 6.0i
m1 3
m2 2
m3 2
m4 3
fo''-%-''
de NS \" New section heading: enter in the table of contents
sh \\$1 "\\$2"
(x
\\*($n.\\ \\ \\$2
)x
.
de AP \" Appendix heading: enter in the table of contents
bp
sz +2
ce 1
b "\\$1"
sz -2
sp 2
(x
\\$1\\ \\
)x
.
de TC \" Dump out table of contents
br
fi
bp
ls 1
ce 1
b "Table of Contents"
sp 2
xp
br
ls
bp
.
de BB
sp 0.1i
ls 1
in +0.8i
xl -0.8i
ba +0.8i
.
de EB
sp 0.3i
ls
xl +0.8i
br
in 0
ba -0.8i
lp
.
ds bt \fB\s7\l'1.10m'\h'-0.55m'\L'-0.80m'\h'0.55m'\v'0.80m'\s0\fP
ds cm \h'-0.10m'\v'0.30m'\(de\h'0.10m'\v'-0.30m'
ds sa \s-4\v'-0.4m'a\v'0.4m'\s+4
ds sb \s-4\v'-0.4m'b\v'0.4m'\s+4
ds IE i.e.,
ds EG e.g.,
EQ
delim $$
define bottom "\*(bt"
define compose "\*(cm"
define equiv '~==~'
define dd '"$$"'
define df '"$fp"'
define dl '"$"'
define fs '<x sub 1 ,~x sub 2 ,...,~x sub k >'
define qy '<y sub 1 ,~y sub 2 ,...,~y sub k >'
define qz '<z sub 1 ,~z sub 2 ,...,~z sub k >'
define T 'bold "T"'
define F 'bold "F"'
define nd '~ bold "and" ~'
define rr '~ bold "or"~'
define orsign % "\s-2\
\h'.05m'\
\v'.15m'\
\z\
\e\
\e\
\h'-.08m'\
\z\(sl\
\(sl\
\h'-.1m'\
\v'-.15m'\
\s+2" %
define andsign % "\s-2\
\v'.15m'\
\z\(sl\
\(sl\
\h'-.3m'\
\z\e\
\e\
\v'-.15m'\
\s+2" %
define notmemberof ` \(mo back 80 size +2 / `
define memberOf "^\(mo^"
tdefine forAll % "\z\e\h'0.5m'\z\(sl\h'-.2m'\v'-0.3m'\s-4\(em\s0\v'0.3m'\h'0.25m'" ~%
EN
nr di \n(ii
