a highlighter pen can be used for highlighting