Condiment used in Chinese cooking