Prehistoric synapsids of South America

Tiarajudens () ("Tiaraju tooth") is an extinct genus of saber-toothed herbivorous anomodonts which lived during the Middle Permian period (Capitanian stage) in what is now Rio Grande do Sul, Brazil. It is known from the holotype UFRGS PV393P, a nearly complete skull. The type species T. eccentricus was named in 2011.

Pampaphoneus is an extinct genus of carnivorous dinocephalian therapsid belonging to the family Anteosauridae. It lived 268 to 265 million years ago during the Wordian age of the Guadalupian (= middle Permian) period in what is now Brazil. Pampaphoneus is known by an almost complete skull with the lower jaw still articulated, discovered on the lands of the Boqueirão Farm, near the city of São Gabriel, in the state of Rio Grande do Sul. A second specimen from the same locality was reported in 2019 and 2020 but has not yet been described. It is composed of a skull associated with postcranial rem