.\" 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
.ta 1.0i 2.0i 3.0i 4.0i 5.0i 6.0i
.de NS \" New section heading: enter in the table of contents
.de AP \" Appendix heading: enter in the table of contents
.de TC \" Dump out table of contents
.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
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 nd '~ bold "and" ~'
define notmemberof ` \(mo back 80 size +2 / `
tdefine forAll % "\z\e\h'0.5m'\z\(sl\h'-.2m'\v'-0.3m'\s-4\(em\s0\v'0.3m'\h'0.25m'" ~%