Peppermint extract is a herbal extract of peppermint made from the essential oil of peppermint leaves.