Definition of arenols

Synonymous with phenols (but rarely used).