Visual feedback

On hover: underline symbols, change the cursor to a pointer, and add a
light red dashed hinting border.