PET'ROSILEX, n. [L. petra, Gr. a stone, and silex, flint.]
Rock stone; rock flint, or compact feldspar.
