( In at least one case , the double pulsar PSR J0737-3039 , the companion neutron star is another pulsar as well . )
In at least one case , the double pulsar PSR J0737-3039 , the companion star is another pulsar as well .