U+22CC Right Semidirect Product

The Wikipedia has the following information about this codepoint:

In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol ⋉. There are two closely related concepts of semidirect product:

• an inner semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup.
• an outer semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation.

As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as semidirect products.

For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension).