.hy 9
.de op
.nr PD 0
.IP \h'1i'\(ci 1i+2
.nr PD .5v
..
.de sh
.IP "\(sq\ \\$1" 1i
..
.de OP
.op \\$1 \\$2 \\$3
..
.de UC
\&\\$3\\s-1\\$1\\s0\\$2\&
..