†infraclass Symmetrodonta Simpson 1925 (symmetrodont)
Parent taxon: Acrotheria according to A. O. Averianov and A. V. Lopatin 2011
See also Averianov 2002, Bonaparte 1990, Carroll 1988, Cassiliano and Clemens 1979, Chow and Rich 1982, Hu et al. 1997, McKenna 1975, Olson 1966, Prothero 1981, Simpson 1928 and Simpson 1929
Sister taxa: none
Subtaxa: Barbereniidae Kuehneon Spalacotheriida Tinodontida Tinodontidae Trishulotherium Woutersiidae