Zenker diverticulum (EFO_1001867) is a DIVERTICULUM at the upper end of the ESOPHAGUS through the cricopharyngeal muscle at the junction of the PHARYNX and the esophagus. Also known as: Zenker's diverticulum.