Una esperienza sull'intreccio di linguaggi per un uso consapevole di simboli matematici