What is "tetranthus"

Tetranthus is a genus of flowering plants in the sunflower tribe within the daisy family.

1. Tetranthus bahamensis Britt. – Bahamas
2. Tetranthus cupulatus Urb. – Hispaniola
3. Tetranthus hirsutus Spreng. – Hispaniola
4. Tetranthus littoralis Sw. – Hispaniola

see Pinillosia

• Tetranthus berteroi – Pinillosia berteroi