[377] Petraeus (Gr. M.), Beiname des Neptun in Thessalien, weil er die Felsen getheilt, durch die sich der Peneus in's Meer ergiesst.