All rights reserved.
%sccs.include.redist.roff%
@(#)manDefs.rno 6.4 (Berkeley) 04/17/91
.sc .m1 3 .m2 2 .m3 2 .m4 3 .fo''-%-'' .sh \\$1 "\\$2" .(x \\*($n.\ \ \\$2 .)x .. .bp .sz +2
1 .b "\\$1" .sz -2 .(x \\$1\ \ .)x ..
.bp .ls 1
1 .b "Table of Contents" .xp
.ls .bp .. .ls 1 .xl -0.8i .ba +0.8i .. .ls .xl +0.8i
.ba -0.8i .lp .. 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