dīstīnctor , ōris, m. (distinguo), der Unterscheider, Amm. 18, 1, 2 u. 28, 4, 1. Augustin. in Ioann. 20, 12.
Wörterbucheintrag Latein-Deutsch zu »distinctor«. Karl Ernst Georges: Ausführliches lateinisch-deutsches Handwörterbuch. Hannover 1913 (Nachdruck Darmstadt 1998), Band 1, Sp. 2234.