An essential oil distilled from the dried leaves and tops of the small pennyroyal plants Hedeoma pulegioides or Mentha pulegium; used as a counterirritant in liniments, in insect repellents, and for the production of methanol.