File:  [CSRG BSD Unix] / 43BSDReno / share / doc / ps2 / 07.fp / manDefs.rno
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 16:12:57 2018 UTC (8 years, 1 month ago) by root
Branches: MAIN, BSD
CVS tags: HEAD, BSD43reno
BSD 4.3reno

.\" 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

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.