Van Maanen’s Star
modern name for GJ 35 = HIP 3829, Third white dwarf identified, and first and nearest solitary white dwarf.
Etymology and History
Appeared as “van Maanen’s Star” in a compendium of science abstracts in 1919 (for a paper by Cosserat), Whitaker (1922, an Almanac!), Seares (1924), Luyten (1950), van de Kamp (1971), Burnham (1978), Spite & Lahmek (1982), Fernandez (1983). “van Maanen’s Star” has own entry in Encyclopedia of Astronomy & Astrophysics (Murdin, 2001) Appeared as "van Maanen" in Allen (1963) Allen's Astrophysical Quantities. Name appears in ~10 NASA ADS abstracts Name is already in SIMBAD: https://simbad.u-strasbg.fr/simbad/sim-id?Ident=NAME+van+Maanen's+Star . Wikipedia
Mythology
IAU Star Name
WGSN discussed the name in 2022 but decided (for the time being) not to name stars after people.