import graph_pi; size(7cm); scale(false); grid(xmin=-2, xmax=4, ymin=-2, ymax=4, xStep=1, xstep=.5, yStep=1, ystep=.5, pTick=.7bp+.6red, ptick=dashed+.8orange, above=false ); labeloij(p=1.7bp+.5red, arrow=Arrow(7bp), dot(0.5*blue) );