Underline for definition occurrence in ahs

ahs = auto-highlight-symbol