(n.) A red coloring matter derived from phenol; - called also, in commerce, yellow corallin.