Wat betekent ⪽
Het geeft een deelverzamelingsrelatie aan waarvan de precieze betekenis afhangt van de notatie.
De punt maakt dit deelverzamelingssymbool tot een speciale variant, maar ⪽ zegt op zichzelf niet welke voorwaarde de auteur bedoelt. De definitie in de formule bepaalt dat onderscheid.
Een technisch Unicode-voorstel uit 1999 noemt ⪽ bij de wiskundige tekens. Een ISO/IEC-entiteitentabel vermeldt de HTML-naam subdot in 2003.
Niet verwarren met
2Zo typ je ⪽
⪽\2ABDCodes en coderingCodepunten: 1
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.
