A planet orbiting a → pulsar. The first such planet to be discovered was around a → millisecond pulsar known as PSR 1257+12.
→ pulsar; → planet.