PETRA, (Ptolemy), Petrea (Silius Italicus), Petrina (Italicus), in both which last urbs is underlined; an inland town of Sicily, to the south-west of Enyium. Now Petraglia. (Cluverius).