A substance derived from petroleum, which is much used as a substitute for turpentine and for dissolving oils and fats.