Halymenia harveyana J. Agardh, 1892: 55–56 (type locality: Port Phillip Heads, Victoria, Australia).—Mazza, 1913 [1905–1918]: 161–162.— Lucas & Perrin, 1947: 375–376, fig. 188.— Huisman & Walker, 1990: 405.
Halymenia floresia (Clemente y Rubio) C. Agardh subsp. harveyana (J. Agardh) Womersley & J. Lewis, 1994: 191.
Misapplied name (fide J. Agardh, l.c.):
Halymenia floresia.—Harvey, 1862: pl. CCXIV (in part).— Sonder, 1880: 13 (in part).
INDIAN OCEAN DISTRIBUTION: Australia.
Note: These records are in conflict with the treatment by Womersley & J. Lewis (1994) in which the range of this subspecies was given as Isles of St. Francis, South Australia to Walkerville, Victoria.