⋉
Left Normal Factor Semidirect Product
- Unicode
- U+22C9
- Category
- Math
- HTML Entity
- ⋉
- CSS
- \22C9
The ⋉ (Left Normal Factor Semidirect Product) symbol is a mathematical operator primarily used in abstract algebra to denote a semidirect product where the left factor is a normal subgroup. Visually resembling a multiplication cross anchored by a vertical line on the left, it helps mathematicians map out complex group structures. In computer science, this symbol is also widely recognized in relational algebra to represent the left semijoin operation between database tables.
How to Type
- Windows
- Alt + 8905
- macOS
- Control + Command + Space then search "left normal factor"
- Linux
- Ctrl + Shift + U then 22C9
- HTML
- ⋉ or ⋉
In Programming
Mathematicians and developers generate this symbol in LaTeX using the `\ltimes` command. It frequently appears in academic papers detailing group theory and technical documentation explaining database query logic.
Tags
LaTeX ltimes
abstract algebra
algebra
database semijoin
group theory
left factor
left normal factor semidirect product
left semijoin
left semijoin symbol
math operator unicode
mathematics
product
relational algebra
semidirect product symbol