Before revision: Origin of the term The term is derived from the English word "horn" and refers to the devil's horns.
After revision: Origin of the term The term is derived from the word "horn" and refers to the devil's horns.