mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
18 lines
273 B
Text
18 lines
273 B
Text
/build_12 {
|
|
pop
|
|
/optsize ptsize def
|
|
/osize size def
|
|
/ofont font def
|
|
|
|
optsize 2 div dup R exch R f
|
|
0 size 2 mul 3 div dup neg exch 0 exch rmoveto
|
|
|
|
(1) show
|
|
rmoveto
|
|
optsize R f
|
|
(\244) show
|
|
f
|
|
(2) show
|
|
|
|
optsize ofont f
|
|
} def
|