U+2240 Wreath Product

The Wikipedia has the following information about this codepoint:

In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used in the classification of permutation groups and also provide a way of constructing interesting examples of groups.

Given two groups $A$ and $H$ (sometimes known as the bottom and top), there exist two variants of the wreath product: the unrestricted wreath product $A\text{ Wr }H$ and the restricted wreath product $A\text{ wr }H$. The general form, denoted by $A{\text{ Wr}}_{\Omega }H$ or $A{\text{ wr}}_{\Omega }H$ respectively, requires that $H$ acts on some set $\Omega$; when unspecified, usually $\Omega =H$ (a regular wreath product), though a different $\Omega$ is sometimes implied. The two variants coincide when $A$, $H$, and $\Omega$ are all finite. Either variant is also denoted as $A\wr H$ (with wr for the LaTeX symbol) or A ≀ H (Unicode U+2240).

The notion generalizes to semigroups and, as such, is a central construction in the Krohn–Rhodes structure theory of finite semigroups.