[1957] PETRAEVS, ëi, Πετράῖος, ου, ein Beynamen des Neptuns, welchen er von den Felsen bekommen, die er trennete, und machte, daß der Fluß Peneus durch sie hinweg in das Meer fallen konnte. Schol. Pind. ap. Gyrald. Synt. V. p. 164.
Hederich-1770: Petraevs