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