Cosa significa ⪽
Indica una relazione di sottoinsieme il cui significato preciso dipende dalla notazione.
Il punto rende questo simbolo di sottoinsieme una variante specializzata, ma ⪽ da solo non chiarisce quale condizione intenda l’autore. È la definizione della formula a stabilire la distinzione.
Una proposta tecnica Unicode del 1999 elenca ⪽ tra i caratteri matematici. Una tabella di entità ISO/IEC registra il nome HTML subdot nel 2003.
Non confonderlo con
2Come digitare ⪽
⪽\2ABDCodici 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.
