This name is reported by Isoetaceae as an accepted name in the genus Isoetes (family Isoetaceae).
The record derives from IPNI (data supplied on 2024-12-16) which reports it as an accepted name