[% DEFAULT radius = '0.75 mm'; PROCESS ps/mm UNLESS global.ps.loaded.mm; global.ps.loaded.dot = 1; -%] /dot { newpath [% radius %] 0 360 arc fill stroke } def