Ebony elephant

Ebony elephant refers to the 4-state busy beaver, or the value \(\Sigma(4) = 13\)). The name was given by James Harland as part of his Zany Zoo project.