The ⊲ Symbol (Normal Subgroup Of): Meaning, Math, and Typing Guide
The ⊲ (Normal Subgroup Of) symbol is a mathematical operator primarily used in abstract algebra to indicate that one mathematical group is a normal subgroup of another. Represented by a hollow, left-pointing triangle, it visually communicates a specific structural relationship within group theory, making it entirely distinct from standard less-than signs or decorative geometric shapes.
Introduced in Unicode version 1.1 back in 1993, the ⊲ symbol occupies code point U+22B2 within the Mathematical Operators block. Mathematicians have utilized this precise left-pointing triangle notation for decades to simplify complex algebraic formulas. Because it standardizes advanced mathematical concepts, it remains a staple in academic papers, university textbooks, and technical documentation.
In its native habitat of group theory, writing "N ⊲ G" states that N is a normal subgroup of G. Beyond high-level math, you will frequently spot this symbol in programming and computer science. It is especially common in LaTeX typesetting, where authors render it using the \triangleleft or \lhd commands to perfectly format equations. While ⊲ rarely makes an appearance in everyday social media posts or casual text messages, typography enthusiasts and web designers sometimes repurpose the character as a sleek, minimalist bullet point or a stylized left-pointing navigational arrow in user interfaces.
Typing the ⊲ symbol requires a few specific shortcuts depending on your operating system. On Windows devices, you can type it by holding the Alt key and entering 8882 on your numeric keypad. Mac users can enable the Unicode Hex Input keyboard layout and press Option + 22B2. For web developers creating HTML content, the entity ⊲ or &lhd; will display the symbol correctly on any modern browser. If you only need it once in a while, the easiest method is simply copying and pasting it from an online symbol directory.
The ⊲ symbol belongs to a broader family of mathematical triangles and relational operators. It is the direct counterpart to ⊳ (Contains Normal Subgroup, U+22B3), which simply flips the mathematical relationship. Visually, ⊲ looks quite similar to the ◁ (White Left-Pointing Triangle, U+25C1), though the geometric version is typically larger and meant for aesthetics rather than equations. Finally, it should not be confused with the standard < (Less-Than Sign, U+003C), which is reserved strictly for basic numerical inequalities.