A fatty substance contained in the oil of the dolphin and the porpoise; -- called also phocenin.