/plus0 {
1 dict begin
/dotscale {.5 .5} def
plus
end
} def
/plus1 {
1 dict begin
/dotscale {.7 .7} def
plus
end
} def
/plus2 {
1 dict begin
/dotscale {2 sqrt dup} def
plus
end
} def
/plus3 {
1 dict begin
/dotscale {3 sqrt dup} def
plus
end
} def
/plus {
gsave
thin setlinewidth
stranslate
dotangle rotate
dotscale scale
newpath
0 dotsize 2 div moveto
0 dotsize neg rlineto
dotsize 2 div 0 moveto
dotsize neg 0 rlineto
stroke
grestore
} def
|