Math symbol reference

Normal Subgroup Of or Equal To

Indicates a normal subgroup relation that permits equality.

UnicodeU+22B4
LaTeX\trianglelefteq
HTML entity⊴
HTML decimal⊴
MathML<mo>⊴</mo>

Semantic identity and intent

Semantic type

operator

An operator, relation, connective, or notation mark whose meaning depends on its operands and context.

Primary search task

understand the operation or relation, see a valid example, and copy the correct notation

Algebra Symbols

MathML token

<mo>

Use ⊴ with the operand structure shown in the examples. Preserve grouping, limits, spacing, and evaluation order when converting between formats.

Characters to distinguish

  • ⊲ — Normal Subgroup Of

Use ⊴ in the right format

Meaning and usage

Indicates a normal subgroup relation that permits equality.

It is useful when a theorem includes the whole group as a valid normal subgroup.

Pronunciation: normal subgroup of or equal to

Formula examples

N⊴G

How to type Normal Subgroup Of or Equal To

Windows
Use Character Map or enter U+22B4 in a Unicode-aware application.
macOS
Open Character Viewer with Control–Command–Space and search by the symbol name.
Microsoft Word
In an equation, type \trianglelefteq and press Space when Word supports the command.
iPhone and iPad
Copy and paste ⊴, or use a math/LaTeX app. The standard iOS keyboard may not expose every mathematical symbol.
Android
Copy and paste ⊴, or use a math keyboard or LaTeX editor. Keyboard layouts vary by device and app.
Google Docs
For plain text, paste ⊴ or use Insert → Special characters. For structured math, use the equation editor and verify \trianglelefteq.
Excel
Paste ⊴ into a cell or use Insert → Symbol when available. Ordinary cells preserve the character but do not interpret LaTeX commands.

Common mistakes

  • Preserve grouping, operator order, and spacing around ⊴; It is useful when a theorem includes the whole group as a valid normal subgroup.
  • For plain text, copy ⊴ as U+22B4; for structured equations, use \trianglelefteq in math mode. A look-alike glyph or image can break search, accessibility, or parsing when the intended character is Normal Subgroup Of or Equal To.

When to use ⊴

  • Use ⊴ in plain text when a Unicode character is appropriate and the destination preserves U+22B4.
  • Use \trianglelefteq in an equation editor when mathematical spacing or structure matters.
  • Define the local meaning when Normal Subgroup Of or Equal To is used in algebra with a field-specific convention.

Look-alikes and related characters

  • ⊲ — Normal Subgroup Of

Font and compatibility notes

Glyph shape can vary by font. Verify the code point after copying, and prefer LaTeX or MathML for structured equations.

Continue the workflow

From Normal Subgroup Of or Equal To to a finished equation

  1. Copy the characterUse ⊴ in plain text when Unicode is accepted.
  2. Choose a structured formatUse \trianglelefteq for LaTeX or the MathML snippet for accessible web equations.
  3. Edit or convertOpen the value in the editor or converter without retyping it.

Review and source notes

Quality tier: specialist

Last reviewed: 2026-07-23

Review method: Catalog review of character identity and notation mappings.

Verified against: Unicode Standard, Unicode mathematical notation guidance, and established LaTeX/MathML syntax.

Reference sources

Frequently asked questions

What does the Normal Subgroup Of or Equal To symbol mean?

Indicates a normal subgroup relation that permits equality.

What is the LaTeX command for ⊴?

Use \trianglelefteq in a compatible math environment.

Can I copy ⊴ as Unicode?

Yes. Use the copy button above to copy the Unicode character directly.

Reuse, attribution, and correction

Share this reference without losing its source

Copy a citation, permanent link, Markdown link, or self-contained embed card. Each reusable format points readers back to the maintained canonical page.

Report an issue

Search the whole reference

Symbols, formulas, guides, tools and commands

Start typing to search.

move · Enter open · Esc close