What ⪽ means
It marks a subset relation whose exact force depends on the notation.
The dot makes this subset symbol a specialized variant, but ⪽ alone does not say which condition the author intends. The formula's definition supplies that distinction.
A 1999 Unicode technical proposal lists ⪽ among mathematical characters. An ISO/IEC entity table records the HTML name subdot in 2003.
Don't confuse it with
2Questions people ask
1Why does ⪽ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
How to type ⪽
⪽\2ABDCodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.
