Symbol: intfix