Cosa significa ⊺
Indica un inserimento; la notazione definisce l’operazione precisa.
Il verbo inglese intercalate è attestato per la prima volta negli anni 1610 con il significato di aggiungere un giorno al calendario; nel 1824 aveva anche il senso più generale di inserire qualcosa fra altre cose. Questa storia spiega il nome, non una regola universale per il simbolo.
Nel 1965 Dominique Foata introdusse in combinatoria un prodotto di intercalazione. Questo estende risultati sulle permutazioni ai multinsiemi, cioè raccolte in cui un valore può ripetersi.
Come digitare ⊺
⊺\22BACodici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.
