Symbol: HASWIDTH