[670] Petrosīlex (griech.-lat.), alter Name für besonders harte Mineralien und Gesteine, wie Hälleflinta und Felsit.
Pierer-1857: Petrosĭlex