A phenol, /////, produced by the distillation of catechin; called also oxyphenic acid, and now pyrocatechin.