nicer arrowheads in xy-pic