free-symbols

Left Normal Factor Semidirect Product Symbol

⋉ denotes a left normal factor semidirect product in mathematical notation.

U+22C9

The symbol ⋉ is used in mathematical writing to indicate a specific type of semidirect product construction. It appears in group theory and related algebra contexts. On this page you can find the exact character and ready-to-copy forms.

Left Normal Factor Semidirect Product Symbol Meaning

⋉ (U+22C9, “LEFT NORMAL FACTOR SEMIDIRECT PRODUCT”) is a mathematical operator indicating a semidirect product where the normal factor is on the left. In algebra, semidirect products combine structures (commonly groups) in a way that depends on an interaction between the factors. The “left normal factor” wording specifies the orientation used in the notation, which can matter when comparing similar symbols that place the normal factor on the other side. Use ⋉ when your notation explicitly describes the left factor as the normal subgroup and the resulting combined structure is defined through the semidirect product.

Common uses

  • Write group theory expressions involving semidirect products with a left normal factor
  • Label and typeset algebraic formulas in textbooks, notes, and lecture slides
  • Create clear mathematical notation for papers and problem statements
  • Use in LaTeX or Unicode-friendly documents where the exact operator is needed
  • Assist in diagram captions or captions for structured algebra constructions

Examples

⋉ Left Normal Factor Semidirect Product

  • G ⋉ H is a semidirect product with a left normal factor.
  • Define the action so that A ⋉ B forms the required group.
  • In our setup, N ⋉ K describes the combined structure.
  • Let ⋉ denote the left normal factor semidirect product in the statement.
  • The group is constructed as L ⋉ M under the given homomorphism.

Variations

Ready to copy

Technical codes

UnicodeU+22C9
HTML Entity⋉
HTML Code⋉
CSS\22C9

FAQ

What does ⋉ mean?

⋉ means LEFT NORMAL FACTOR SEMIDIRECT PRODUCT, a semidirect product notation where the normal factor is on the left.

What is the Unicode code point for ⋉?

The Unicode code point is U+22C9.

How can I copy ⋉ for use in documents or code?

You can copy the character directly (⋉), or use the provided HTML entity (⋉) and escapes (\\22C9 or \\u{22C9}).

Is ⋉ the same as a direct product symbol?

No. ⋉ specifically denotes a semidirect product with orientation (left normal factor), which differs from the direct product.