::
Si, hai ragione, però ho il sospetto che non sia un simbolo standard. E’ utilizzato per definire un operatore tra stringhe di simboli chiamato “operatore si shuffle”…
Ho dato un’occhiata alla lista di cui parli ma mi pare di non averlo trovato…
SM
