/times {
gsave
thin setlinewidth
stranslate
dotangle 45 add 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
%% /times {
%% 1 dict begin
%% /dotangle {45} def
%% plus
%% end
%% } def
/times0 {
1 dict begin
/dotscale {.5 .5} def
times
end
} def
/times1 {
1 dict begin
/dotscale {.7 .7} def
times
end
} def
/times2 {
1 dict begin
/dotscale {2 sqrt dup} def
times
end
} def
/times3 {
1 dict begin
/dotscale {3 sqrt dup} def
times
end
} def
|