Symbol: DEFWIDTH