In Action Comics #14 (January 2013), which was published November 7, 2012, Tyson appears in the story, in which he determines that Superman 's home planet, Krypton, orbited the red dwarf LHS 2520 in the constellation Corvus 27.1 lightyears from Earth. He assisted DC Comics in selecting a real-life star that would be an appropriate parent star to Krypton, and picked Corvus, which is Latin for "Crow", and which is the mascot of Superman's high school, the Smallville Crows. Tyson also had a minor appearance as himself in the 2016 film Batman v Superman: Dawn of Justice.