dēvirginātor , ōris, m. (devirgino), einer, der ein Mädchen entjungfert = διαπαρθενευτής, Gloss. II, 273, 17.
Wörterbucheintrag Latein-Deutsch zu »devirginator«. Karl Ernst Georges: Ausführliches lateinisch-deutsches Handwörterbuch. Hannover 1913 (Nachdruck Darmstadt 1998), Band 1, Sp. 2118.