SIMBAD references

We report the parallax and proper motion of millisecond pulsar J0030+0451, one of 13 known isolated millisecond pulsars in the disk of the Galaxy. We obtained more than 6 years of monthly data from the 305 m Arecibo telescope at 430 and 1410 MHz. We measure the parallax of PSR J0030+0451 to be 3.3±0.9 mas, corresponding to a distance of 300±90 pc. The Cordes and Lazio model of Galactic electron distribution yields a dispersion-measure-derived distance of 317 pc, which agrees with our measurement. We place the pulsar's transverse space velocity in the range of 8-17 km/s, making this pulsar one of the slowest known. We perform a brief census of velocities of isolated versus binary millisecond pulsars. We find that the velocities of the two populations are indistinguishable. However, the scale height of the binary population is twice that of the isolated population, and the luminosity functions of the two populations are different. We suggest that the scale height difference may be an artifact of the luminosity difference.