Contains as Normal Subgroup or Equal To ⊵

⊵ (U+22B5) is a standard Unicode character that you can copy and paste anywhere text is accepted. This page provides a concise reference with safe tips, internal links, and practical guidance so you can use it reliably across apps and platforms.

What it is and where it’s used: Contains as Normal Subgroup or Equal To is part of the Symbols family (block: Mathematical Operators). If you need styled or decorative alternatives, try our Fancy Text tool to generate compatible text that works in most modern interfaces.

History & usage: The symbol CONTAINS AS NORMAL SUBGROUP OR EQUAL TO, shown as codepoint U+22B5, sits in the Mathematical Operators block. Its name in English reflects a specific relation: a set contains another set as a normal subgroup or is equal to it. In history, such symbols arose to express structural ideas clearly in algebra and group theory. They help mathematicians and students write concise statements about how groups embed into larger ones. In practice, the symbol is used in formulas to indicate a containment relation that respects subgroup structure. It also appears in user interfaces and educational materials to signal a formal inclusion relation between algebraic objects. Because many symbols serve multiple roles, this one is primarily tied to subgroup containment and equality in abstract algebra. Users rely on the visual cue of this glyph when parsing sentences that compare group properties or when outlining mappings between algebraic structures. Overall, it functions as a precise, compact indicator of a core structural relation in advanced mathematics.

Copy and input: the quickest method is to copy the character here. You can also insert it by its codepoint U+22B5 in many development tools or editors. Some operating systems provide a character viewer or input palette that lets you search by name or code and insert the glyph into documents.

Display and fallback: if you see an empty box (tofu) or a placeholder rectangle, the active font might not include this codepoint. Switching to a font with broader Unicode coverage or using a fallback font usually fixes the issue. On the web, ensure the page’s font stack includes a general‑purpose fallback.

Related references: browse the Categories for similar characters. When choosing a symbol, prefer the official codepoint for semantic clarity and better compatibility with search, copy, and accessibility tooling.

See our category page for related symbols.