Bold face for auto highlight symbol