Z Notation Bag Membership Symbol (⋿) U+22FF Meaning, Copy and Paste, How to Type, and Uses

z notation bag membership symbol featured

If you’ve ever studied formal specification languages or browsed a dense mathematical logic paper, you may have spotted a symbol that looks like a slightly modified element-of sign: ⋿. That’s the Z Notation Bag Membership symbol (⋿), and it plays a very specific role in a branch of mathematics and computer science that most people never encounter in everyday life. It tells you that a particular element belongs to a bag (also called a multiset), which is a collection where the same item can appear more than once. Even if you’re not writing formal specifications, understanding this symbol connects you to a fascinating corner of mathematical notation. Let’s break it all down.

Symbol Snapshot

Here’s everything you need to know about the Z Notation Bag Membership symbol at a glance.

Detail	Value
Symbol	⋿
Name	Z Notation Bag Membership
Unicode	U+22FF
HTML Entity	⋿
Alt Code (Windows)	Alt + 8959 (numeric keypad, with Unicode input enabled)
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; use character map, copy/paste, or Unicode input

What Is the Z Notation Bag Membership Symbol

The Z Notation Bag Membership symbol (⋿) indicates that a specific element is a member of a bag, or multiset. In formal specification, a bag differs from a regular set because it allows duplicate elements. The standard element-of sign (∈) checks membership in a set, while ⋿ performs the same check for a bag within the Z specification language. You’ll find it almost exclusively in academic papers, formal methods textbooks, and software specification documents that use Z notation.

Origin and History of the Z Notation Bag Membership Symbol

The story of ⋿ starts with the Z notation language itself. Z notation was developed in the late 1970s at the Programming Research Group at the University of Oxford, primarily by Jean-Raymond Abrial and later refined by researchers including J. Michael Spivey. The language was designed to give software engineers a mathematically rigorous way to describe system behavior before writing a single line of code.

Z notation borrowed heavily from set theory and predicate logic, but it also needed symbols for structures that go beyond ordinary sets. One of those structures is the bag, sometimes called a multiset. A bag is like a set, but it can hold the same element more than once; think of it as a shopping bag where you might have three apples and two oranges, and the count matters.

Because standard set membership (∈) only applies to traditional sets, Z notation required its own membership operator for bags. The result was the bag membership symbol, which visually echoes the element-of sign but carries a distinct meaning tied to multiplicity. The symbol was formalized in the Z standard (ISO/IEC 13568:2002) and eventually encoded in Unicode to make digital typesetting and document exchange possible.

Understanding the Unicode Designation

Unicode is the global standard that assigns a unique number to every character and symbol used in writing, from basic letters to specialized mathematical marks. The Z Notation Bag Membership symbol lives at code point U+22FF, which places it in the “Mathematical Operators” block alongside hundreds of other math-related characters.

The “U+” prefix simply means “Unicode,” and the four-character hex value 22FF pinpoints exactly where ⋿ sits in the massive Unicode table. In HTML, you can display this symbol using the numeric entity ⋿ (the decimal equivalent of hex 22FF). Web developers drop that entity into their markup whenever they need ⋿ to appear on a page without relying on a special font.

To insert ⋿ on any device that supports Unicode input, you type the hex value 22FF and use your platform’s Unicode conversion shortcut. On Windows in Microsoft Word, for example, you type 22FF and then press Alt + X to convert it into the symbol. This method works for virtually any Unicode character, making it a handy trick to remember.

Meanings and Uses of the Z Notation Bag Membership Symbol

Formal Specification and Z Notation

The primary home of the Z Notation Bag Membership symbol is formal specification. In Z notation, bags (multisets) model real-world scenarios where repetition matters. For example, a specification for an inventory system might use a bag to represent items in stock, because you could have five units of the same product. Writing x ⋿ B means “element x is a member of bag B,” confirming that x appears at least once in that collection. This is the symbol’s core purpose, and nearly every other use flows from it.

Mathematics and Multiset Theory

Beyond Z notation specifically, ⋿ appears in broader multiset theory. Multisets extend classical set theory by attaching a multiplicity (a count) to each element. Mathematicians studying combinatorics, algebra, and discrete structures sometimes use ⋿ or similar notation when they need to distinguish bag membership from ordinary set membership. The symbol serves as a visual cue that the underlying structure allows duplicates, which changes the rules for operations like union, intersection, and cardinality.

Computer Science and Software Engineering

Formal methods in computer science rely on Z notation to verify that software systems behave correctly before deployment. Safety-critical industries like aviation, medical devices, and railway signaling have used Z specifications to catch design errors early. In these documents, ⋿ shows up whenever the specification models a data structure that permits repeated elements. Understanding the symbol is part of reading and writing these specifications accurately.

Academic Publishing and Technical Documentation

You’ll encounter ⋿ in academic journals, conference proceedings, and textbooks that cover formal methods, discrete mathematics, or specification languages. Publishers and typesetters need the Unicode code point or HTML entity to render the symbol correctly in digital formats. LaTeX users typically access it through specialized packages like oz or zed-csp, which provide the full Z notation symbol set.

Programming and Markup Languages

The Z Notation Bag Membership symbol doesn’t appear in mainstream programming language syntax, but it shows up in tools and environments designed for formal verification. Specification editors, proof assistants, and documentation generators that support Z notation render this symbol as part of their character sets. Developers working with these tools need to know the Unicode code point to ensure the symbol displays correctly across platforms and fonts.

How to Type the Z Notation Bag Membership Symbol

The Z Notation Bag Membership symbol isn’t sitting on any standard keyboard, so you’ll need one of these methods depending on your device.

Platform	Method	Steps
Windows (Word)	Unicode + Alt + X	Type `22FF`, then press Alt + X
Windows (General)	Character Map	Open Character Map, search for U+22FF, select and copy
Mac	Character Viewer	Press Control + Command + Space, search “bag membership” or paste U+22FF
Chromebook	Unicode input or copy/paste	Copy ⋿ from this page and paste where needed
iPhone / iPad	Copy and paste	Copy ⋿ from this page; long-press in your text field and tap Paste
Android	Copy and paste	Copy ⋿ from this page; long-press in your text field and tap Paste
Microsoft Word	Alt + X method	Type `22FF` and press Alt + X to convert
Google Docs	Special Characters panel	Click Insert → Special Characters → search “bag membership”
LaTeX	Z notation package	Use `\bagmem` or equivalent command from the `oz` or `zed-csp` package
HTML	Entity code	Type `⋿` in your HTML source

The fastest method for most people is simply copying ⋿ from this page and pasting it wherever you need it. If you work with Z notation regularly, setting up a LaTeX package or a text expansion shortcut will save you time in the long run.

Related Variants and Lookalike Symbols

Several symbols look similar to ⋿ or serve related purposes. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∈	Element Of	U+2208	The standard set membership sign; indicates membership in an ordinary set, not a bag or multiset
∉	Not an Element Of	U+2209	Negates set membership; says an element does not belong to a set at all
∋	Contains as Member	U+220B	Reverses the direction of ∈; the set is written on the left and the element on the right
⋳	Small Contains as Member	U+22F3	A smaller variant of the contains-as-member sign used in some specialized notation systems
⋶	Element of with Overbar	U+22F6	Indicates membership with an additional condition or modification, shown by the bar above
⊆	Subset Of or Equal To	U+2286	Tests if an entire set is contained within another set, not individual element membership
⊑	Image of or Equal To	U+2291	Used in order theory and refinement relations; visually similar but semantically distinct from membership operators

The key distinction is always between set membership and bag membership. If you’re working with ordinary sets, reach for ∈. If your structure allows duplicates and you’re writing in Z notation, ⋿ is the right choice.

Pronunciation and Reading

When reading ⋿ aloud, mathematicians and computer scientists typically say “is a member of bag” or “is in bag.” In a lecture or presentation, you might hear “x is bag-member of B” or simply “x belongs to bag B.” There’s no single universally agreed-upon spoken form, but any phrasing that conveys bag membership will be understood in the right context.

Accessibility Note

Screen readers may announce ⋿ as “Z notation bag membership” if the reader supports full Unicode character names. In many cases, though, the symbol may be read as an unknown character or skipped entirely. If you’re publishing content that includes ⋿, add an aria-label or nearby plain-text explanation so that readers using assistive technology can understand the meaning without seeing the glyph.

When Not to Use the Z Notation Bag Membership Symbol

Avoid using ⋿ when you mean ordinary set membership; use ∈ (Element Of) instead. Don’t use it in general-audience documents where readers won’t recognize Z notation, because it will create confusion rather than clarity. In programming source code, use language-specific syntax for collection membership checks rather than inserting a Unicode symbol that compilers and interpreters won’t understand. If you’re writing for a non-technical audience, spell out “is a member of the bag” in plain language.

Fun Facts

Here are a few things about the Z Notation Bag Membership symbol that might surprise you.

The Z in “Z notation” doesn’t stand for a person’s name. It comes from the Zermelo-Fraenkel set theory (ZF), which forms the mathematical foundation the language builds on.
Bags (multisets) were studied as far back as the 1200s by the Indian mathematician Bhaskara II, long before anyone thought to give them a dedicated membership symbol.
The IBM CICS transaction processing system, used by banks and airlines worldwide, was partially specified using Z notation in the 1980s and 1990s.
U+22FF is the very last code point in the Mathematical Operators Unicode block (U+2200-U+22FF), giving ⋿ the distinction of closing out an entire block of 256 characters.
Most standard fonts don’t include a glyph for ⋿, which means it may render as a blank box on some devices; a good reason to always provide a fallback description.

Frequently Asked Questions

What does the Z Notation Bag Membership symbol mean?

The Z Notation Bag Membership symbol (⋿) means that a specific element belongs to a bag, also known as a multiset. A bag is a collection that allows duplicate elements, unlike a standard set.

How do I type the Z Notation Bag Membership symbol on Windows?

In Microsoft Word, type 22FF and press Alt + X to convert it into ⋿. You can also open the Windows Character Map, search for U+22FF, and copy the symbol from there.

What is the Unicode code point for the Z Notation Bag Membership symbol?

The Unicode code point for the Z Notation Bag Membership symbol is U+22FF. Its decimal equivalent is 8959, and its HTML entity is ⋿.

What is the difference between ⋿ and ∈?

The ∈ symbol indicates membership in an ordinary set, where each element appears only once. The ⋿ symbol indicates membership in a bag (multiset), where elements can appear multiple times with their count preserved.

Where is the Z Notation Bag Membership symbol used?

You’ll find ⋿ in formal specification documents written in Z notation, academic papers on multiset theory, and software engineering contexts where formal methods verify system correctness.

Can I use the Z Notation Bag Membership symbol in regular math?

The symbol is specific to Z notation and multiset theory. In standard mathematics, the element-of sign (∈) is the conventional choice for membership. Only use ⋿ when your context explicitly involves bags or Z notation.

How do screen readers handle the ⋿ symbol?

Screen readers with full Unicode name support may announce it as “Z notation bag membership.” Others may skip it or read it as an unknown character, so always include a plain-text explanation nearby for accessibility.

Now You Know the Z Notation Bag Membership Symbol

The Z Notation Bag Membership symbol (⋿) may be one of the most specialized characters in the entire Unicode standard, but it solves a real problem: telling you that something belongs to a collection where duplicates count. Now you know what it means, where it comes from, and exactly how to type or paste it whenever you need it. If you know someone studying formal methods or working with mathematical symbols, pass this article their way; they’ll appreciate having all the details in one place.

Small Contains With Overbar Symbol (⋾) U+22FE Meaning, Copy and Paste, How to Type, and Uses

small contains with overbar symbol featured

You’ve probably never typed this symbol on purpose, but if you’ve spent any time reading advanced set theory or mathematical logic papers, you may have spotted it tucked into a dense proof. The Small Contains With Overbar symbol (⋾) is one of those quiet, specialized characters that does a very specific job in formal mathematics. It tells you that a particular set membership relationship does not hold, and it does so in a compact, elegant way. If you’ve been wondering what this symbol means, how to type it, or where it fits alongside other set notation marks, you’re about to get the full picture.

Symbol Snapshot

Here’s everything you need to know about the Small Contains With Overbar symbol at a glance.

Detail	Value
Symbol	⋾
Name	Small Contains With Overbar
Unicode	U+22FE
HTML Entity	⋾ or ⋾
Alt Code (Windows)	No standard Alt code; use character map or Unicode input
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; copy and paste or use Unicode input

What Is the Small Contains With Overbar Symbol?

The Small Contains With Overbar symbol (⋾) is a mathematical operator that expresses a negated “contains as member” relationship. In plain terms, it says that a given set does not contain a specific element. It combines the concept of the “contains” operator (∋) with an overbar, which acts as a negation marker in mathematical notation. You’ll find this symbol almost exclusively in formal set theory, mathematical logic, and academic publications that need precise, compact notation for membership statements.

Origin and History of the Small Contains With Overbar Symbol

Set membership notation has deep roots in the work of 19th-century mathematicians. Georg Cantor, the founder of modern set theory, introduced the foundational ideas about sets and their elements in the 1870s and 1880s. The element-of symbol (∈) was introduced by Giuseppe Peano in 1889, drawn from the Greek letter epsilon to represent the word “est” (meaning “is” in Latin).

The “contains as member” symbol (∋) came later as the reverse of ∈, flipping the relationship so the set appears on the left side. As set theory grew more complex, mathematicians needed ways to express negation compactly. Adding an overbar or a strike-through to an existing operator became a standard convention for saying “not this relationship.”

The Small Contains With Overbar symbol (⋾) follows this tradition. Rather than writing out “does not contain” in words or using a separate negation symbol, the overbar modifies the base operator directly. This approach keeps formulas tight and readable, which matters a lot when you’re working through multi-line proofs. The symbol was formalized as part of the Unicode Standard to ensure consistent digital representation across platforms and publications.

Understanding the Unicode Designation

If you’re new to Unicode, think of it as a massive catalog that assigns a unique number to every character used in human writing, from the letter “A” to obscure mathematical operators like this one. The Small Contains With Overbar symbol lives at code point U+22FE, which places it in the “Mathematical Operators” block of the Unicode Standard.

The “U+” prefix just means “Unicode,” and 22FE is the hexadecimal address for this specific character. When you see U+22FE referenced in a document or a character map, it points to exactly this symbol and nothing else.

For web developers, the HTML entity codes are especially useful. You can insert the Small Contains With Overbar symbol into a webpage using either the named entity ⋾ or the numeric entity ⋾. Both produce the same result in a browser. The named entity is easier to remember, while the numeric one works as a reliable fallback if a browser doesn’t recognize the name.

If you’re working in CSS, you can reference the symbol using the escape sequence \22FE. In JavaScript, the Unicode escape \u22FE will produce the character in a string.

Meanings and Uses of the Small Contains With Overbar Symbol

Mathematics and Set Theory

This is the primary home of the Small Contains With Overbar symbol (⋾). In set theory, the standard “contains as member” symbol (∋) states that a set on the left includes an element on the right. Adding the overbar negates that statement entirely.

So if you write A ⋾ x, you’re saying “set A does not contain x as a member.” This is the reverse perspective of writing x ∉ A (x is not an element of A), but it places the set first. This ordering can be more natural in certain proof styles, especially when you’re making statements about what a set excludes rather than what an element belongs to.

Mathematical Logic and Formal Proofs

In formal logic, precision matters more than almost anywhere else. The Small Contains With Overbar symbol lets logicians express negated membership without introducing extra notation or parentheses. When building complex logical statements, every saved character reduces the chance of misreading a formula.

You’ll see this symbol in academic papers, logic textbooks, and formal verification systems where the relationship between sets and their non-members needs to be stated clearly and concisely. It’s part of a broader family of negated operators that keep proofs compact.

Academic Publishing and Typesetting

Mathematical publishers and typesetting systems like LaTeX support the Small Contains With Overbar symbol as part of their extended math character sets. When authors prepare manuscripts for journals, using the correct Unicode character ensures that the symbol renders consistently across different systems, from the author’s word processor to the publisher’s typesetting software to the reader’s PDF viewer.

This consistency is one of the main reasons Unicode formalized so many mathematical operators. Before standardization, the same concept might be rendered differently depending on the font, the software, or the publisher’s house style.

Computer Science and Type Theory

In theoretical computer science, set membership and its negation show up in type theory, formal language definitions, and algorithm proofs. The Small Contains With Overbar symbol can appear in papers discussing type systems, where sets of valid types either contain or exclude certain values. While most programmers won’t encounter this symbol in everyday code, researchers working at the intersection of math and computer science use it regularly.

How to Type the Small Contains With Overbar Symbol

The Small Contains With Overbar symbol isn’t on any standard keyboard, so you’ll need to use one of these methods depending on your platform.

Platform	Method	Steps
Windows	Character Map	Open Character Map, search for U+22FE, select and copy
Windows	Unicode Input	In some apps, type 22FE then press Alt + X
Windows 11	Emoji/Symbol Picker	Press Win + . (period), click the Ω symbols tab, search “contains”
Mac	Character Viewer	Press Control + Command + Space, search “contains with overbar”
Chromebook	Unicode Input	Enable Unicode input in settings, press Ctrl + Shift + U, type 22FE, press Enter
iPhone/iPad	Copy and Paste	Copy ⋾ from this page and paste where needed
Android	Copy and Paste	Copy ⋾ from this page and paste where needed
Microsoft Word	Alt + X Method	Type 22FE then press Alt + X to convert to ⋾
Google Docs	Special Characters	Click Insert > Special characters, search “small contains with overbar”

The fastest method for most people is simply copying the symbol from this page and pasting it wherever you need it. For frequent use in academic writing, setting up a keyboard shortcut or text replacement can save time.

Use It in a Sentence

Here are a few examples showing how the Small Contains With Overbar symbol works in context.

“If B ⋾ y, then y must belong to the complement of B.”
“The proof requires showing that S ⋾ 0 for all sets S in the given family.”
“We define the exclusion condition as C ⋾ z for every z in the domain.”
“Since A ⋾ k, we know k is not a member of A and can proceed with the next step.”

When Not to Use the Small Contains With Overbar Symbol

The Small Contains With Overbar symbol is highly specialized, and using it outside its proper context can cause confusion. Avoid it in general writing, business documents, or any non-mathematical context where readers won’t recognize it.

In programming, don’t use this symbol as a substitute for “not in” or “not contains” operators. Most programming languages use keywords like not in (Python) or methods like .contains() with negation. Using ⋾ in code comments or documentation aimed at developers who aren’t mathematicians will likely confuse rather than clarify.

If you’re writing for a general audience, spell out “does not contain” instead. The symbol is best reserved for formal mathematical writing where your readers already understand set notation conventions.

Pronunciation Note

The Small Contains With Overbar symbol is typically read aloud as “does not contain” or “does not contain as member.” Some mathematicians may say “not contains” or simply describe the relationship in words when reading a formula out loud. There’s no single universally agreed-upon spoken form, but “does not contain” is the most common and widely understood phrasing.

Accessibility Note

Screen readers may announce this symbol as “small contains with overbar” based on its Unicode name, or they may skip it entirely depending on the software. If you’re using this symbol in digital content, consider adding an aria-label or surrounding text that explains the relationship in plain language. This ensures that readers using assistive technology can follow the mathematical argument without guessing what the symbol means.

Related Variants and Lookalike Symbols

Several symbols look similar to the Small Contains With Overbar symbol or express related concepts. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∋	Contains as Member	U+220B	The base “contains” operator without negation; states that a set includes an element
∌	Does Not Contain as Member	U+220C	A more widely recognized negated contains symbol that uses a diagonal strike-through instead of an overbar
∈	Element Of	U+2208	Expresses membership from the element’s perspective rather than the set’s perspective
∉	Not an Element Of	U+2209	Negated element-of symbol; says an element is not in a set, reversing the operand order compared to ⋾
⋽	Small Contains as Member	U+22FD	A small variant of the contains symbol without the negation overbar
⋼	Small Contains with Vertical Bar at End of Horizontal Stroke	U+22FC	A modified contains symbol with a vertical bar, used in specialized notation contexts

The key distinction is that ⋾ uses an overbar for negation while ∌ uses a strike-through. Both express “does not contain,” but they come from slightly different notational traditions.

Fun Facts

Here are a few things about the Small Contains With Overbar symbol that might surprise you.

The overbar as a negation marker has roots going back to Boolean algebra, where a bar over a variable means “not.” The same visual logic applies here; bar over “contains” means “does not contain.”
Unicode block U+2200 through U+22FF contains over 250 mathematical operators, and the Small Contains With Overbar symbol sits near the very end of that range at U+22FE.
The named HTML entity ⋾ is one of the more unusual entity names in HTML. The “ni” part comes from the reversed epsilon (∋), which is sometimes called “ni” in mathematical shorthand, and “notni” means “not ni.” The “vb” likely refers to the vertical bar style of the overbar.
Despite being part of the Unicode Standard since version 3.2 (released in 2002), this symbol remains rare enough that many popular fonts don’t include a glyph for it. If it doesn’t render on your screen, your font may not support it.

Frequently Asked Questions

What does the Small Contains With Overbar symbol mean?

The Small Contains With Overbar symbol (⋾) means that a set does not contain a particular element as a member. It’s a negated version of the “contains as member” operator used in set theory.

How do I type the Small Contains With Overbar symbol on Windows?

In Microsoft Word and some other Windows apps, type 22FE and then press Alt + X to convert it into ⋾. You can also open the Character Map, search for the symbol, and copy it from there.

What is the Unicode for the Small Contains With Overbar symbol?

The Unicode code point for the Small Contains With Overbar symbol is U+22FE. Its official Unicode name is SMALL CONTAINS WITH OVERBAR.

What is the HTML entity for the Small Contains With Overbar symbol?

You can use either the named entity ⋾ or the numeric entity ⋾ to display the Small Contains With Overbar symbol in HTML.

What is the difference between ⋾ and ∌?

Both symbols express “does not contain as member,” but they use different visual negation styles. The Small Contains With Overbar symbol (⋾) uses an overbar above the operator, while ∌ (U+220C) uses a diagonal strike-through line.

Can I use the Small Contains With Overbar symbol in programming?

This symbol is not used in any mainstream programming language syntax. It’s best reserved for mathematical writing, academic papers, and formal proofs. In code, use language-specific operators like not in or negated .contains() methods instead.

How do screen readers handle the Small Contains With Overbar symbol?

Screen readers typically announce it by its Unicode name, “small contains with overbar,” or may skip it entirely. Adding an aria-label or plain-text explanation nearby helps ensure accessibility for all readers.

Now You Know the Small Contains With Overbar Symbol

The Small Contains With Overbar symbol (⋾) may be one of the most niche characters in the Unicode catalog, but it plays a real role in keeping mathematical notation precise and compact. Now you know what it means, where it comes from, and exactly how to type or paste it whenever you need it. If you know someone who works with set theory, formal logic, or mathematical typesetting, pass this article their way; they’ll appreciate having a quick reference for this uncommon but useful symbol.

Contains With Overbar Symbol (⋽) U+22FD Meaning, Copy and Paste, How to Type, and Uses

You’ve probably never typed the Contains With Overbar symbol (⋽) on purpose, but if you’ve spent any time reading advanced set theory or mathematical logic, you’ve seen it doing important work. This symbol tells you that one set contains an element, but with a specific restriction or negation layered on top. It’s a precise piece of mathematical notation that carries more meaning than its small size suggests, and understanding it gives you a sharper read on formal proofs and logical statements.

Let’s break down everything you need to know about the Contains With Overbar symbol, from what it means to exactly how to type it on any device.

Symbol Snapshot

Here’s everything you need to know about the Contains With Overbar symbol (⋽) at a glance.

Detail	Value
Symbol	⋽
Name	Contains With Overbar
Unicode	U+22FD
HTML Entity	⋽ or ⋽
Alt Code (Windows)	Alt + 8957 (numeric keypad)
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; use character map, Unicode input, or copy and paste

What Is the Contains With Overbar Symbol

The Contains With Overbar symbol (⋽) is a mathematical operator used in set theory and formal logic. It represents a modified version of the “contains as member” relation, with the overbar indicating a negation or restriction on that containment.

You’ll find it in advanced mathematical texts, formal proofs, and specialized notation systems where standard membership symbols like ∈ and ∋ aren’t precise enough. The Contains With Overbar symbol belongs to the broader family of set membership symbols that define relationships between elements and sets.

Origin and History of the Contains With Overbar Symbol

The story of the Contains With Overbar symbol starts with the development of set theory itself. Georg Cantor laid the foundations of modern set theory in the 1870s and 1880s, introducing the idea that mathematical objects could be grouped into well-defined collections called sets.

The basic membership symbol ∈ (meaning “is an element of”) was introduced by Giuseppe Peano in 1889, drawn from the Greek letter epsilon. Its reverse, ∋ (meaning “contains as member”), followed naturally as mathematicians needed to express the same relationship from the set’s perspective rather than the element’s.

As set theory grew more sophisticated through the 20th century, mathematicians needed ways to express modified or negated versions of these basic relations. The overbar, a horizontal line placed above a symbol, became a standard way to indicate negation or complementation in logic and set theory. Adding an overbar to the “contains” symbol created a compact way to express that a set does not contain a particular element, or that the containment relationship carries a specific restriction.

The Unicode Consortium formalized this symbol as U+22FD when it expanded its coverage of mathematical operators, ensuring that digital typesetting could represent the full range of notation that mathematicians use in formal writing.

Understanding the Unicode Designation

Unicode is the universal system that assigns a unique number to every character used in digital communication, from the letters on your keyboard to specialized mathematical symbols like ⋽. Think of it as a giant address book where every symbol gets its own permanent code.

The Contains With Overbar symbol lives at code point U+22FD. The “U+” prefix tells you this is a Unicode number, and “22FD” is the hexadecimal address. This code point sits within the Supplemental Mathematical Operators block (U+2A00 through U+2AFF), which houses hundreds of specialized math symbols that go beyond basic arithmetic.

For web developers, the HTML entity codes are ⋽ (the named entity) or ⋽ (the numeric entity). Either one will render the ⋽ symbol correctly in a browser. If you’re working in CSS, you can use the escape sequence \22FD to insert the symbol through a stylesheet’s content property.

Because Unicode is supported across all modern operating systems and browsers, the Contains With Overbar symbol will display consistently on Windows, Mac, Linux, iOS, and Android devices.

Meanings and Uses of the Contains With Overbar Symbol

Mathematics and Set Theory

The primary home of the Contains With Overbar symbol (⋽) is in formal set theory. Here, it expresses a modified containment relationship between a set and a potential member element. The overbar typically signals negation, so ⋽ can indicate that a set does not contain a given element under specific conditions.

In formal proofs and mathematical papers, precision matters enormously. Using ⋽ instead of writing out “does not contain” in words keeps notation compact and unambiguous. It’s part of a larger toolkit of modified membership operators that let mathematicians express nuanced relationships without cluttering their formulas with verbose explanations.

Formal Logic and Proof Writing

Logicians use the Contains With Overbar symbol when constructing formal arguments that involve set membership with restrictions. In proof theory, every symbol carries exact meaning, and swapping one for another can change the entire logical structure of an argument.

The overbar convention for negation is deeply rooted in Boolean logic, where a bar over a variable means “not.” When applied to the containment operator, it creates a symbol that logicians can read instantly without pausing to parse a written phrase. This makes ⋽ especially useful in dense logical derivations where readability depends on compact, standardized notation.

Computer Science and Type Theory

In theoretical computer science, set membership symbols appear in type theory, formal verification, and programming language semantics. The Contains With Overbar symbol shows up in academic papers that describe type systems, where sets of values need to be defined with precise inclusion and exclusion rules.

Researchers working on formal methods, automated theorem proving, and language specification use symbols like ⋽ to express constraints that would be awkward to write in plain text. While you won’t see this symbol in everyday programming, it plays a role in the theoretical foundations that programming languages are built on.

Academic Publishing and Typesetting

The Contains With Overbar symbol appears in published mathematical and scientific papers, textbooks, and reference materials. Typesetting systems like LaTeX support this symbol through specialized math packages, making it accessible to authors who need it in their manuscripts.

In academic contexts, using the correct Unicode symbol rather than an improvised approximation (like combining a ∋ with a separate overline character) ensures that documents render correctly across different platforms and remain searchable in digital databases.

Dictionaries and Reference Materials

Mathematical dictionaries, symbol reference guides, and Unicode documentation all catalog the Contains With Overbar symbol. It appears in comprehensive lists of mathematical operators alongside its related variants, helping students and researchers identify unfamiliar notation they encounter in their reading.

How to Type the Contains With Overbar Symbol

The Contains With Overbar symbol (⋽) isn’t on any standard keyboard, but you can still type or insert it on every major platform. Here’s how.

Platform	Method	Steps
Windows (Alt Code)	Alt code	Hold Alt, type 8957 on the numeric keypad, release Alt
Windows (Character Map)	Character Map utility	Open Character Map, search for “contains with overbar,” select and copy
Windows 11	Symbol picker	Press Win + . (period), click the symbols tab (Ω), search for the symbol
Mac	Character Viewer	Press Control + Command + Space, search “contains,” select ⋽
Chromebook	Unicode input	Enable Unicode input, press Ctrl + Shift + U, type 22FD, press Enter
iPhone/iPad	Copy and paste	Copy ⋽ from this page and paste where needed
Android	Copy and paste	Copy ⋽ from this page and paste where needed
Microsoft Word	Alt + X method	Type 22FD, then press Alt + X to convert it to ⋽
Google Docs	Special characters	Click Insert > Special characters, search “contains with overbar”
LaTeX	Math command	Use `\ni` with an overbar package, or input the Unicode character directly
HTML	Entity code	Type &notnivc; or ⋽ in your HTML source

For most people, the fastest method is simply copying the symbol from this page and pasting it wherever you need it. The copy button above the Symbol Snapshot table makes this easy.

Use It in a Sentence

Here are a few examples showing the Contains With Overbar symbol in context.

“If S ⋽ x, then x is excluded from the set under the given conditions.”
“The proof relies on showing that A ⋽ b for all elements b in the complement.”
“Use ⋽ when you need to express restricted non-containment in formal notation.”
“The type system specification states that Γ ⋽ τ when the type is not derivable.”

Related Variants and Lookalike Symbols

Several symbols look similar to the Contains With Overbar symbol or serve related purposes. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∋	Contains as Member	U+220B	The basic containment symbol without any modification; it simply states that a set contains a given element
∌	Does Not Contain as Member	U+220C	Uses a diagonal stroke through the containment symbol to indicate negation, rather than an overbar above it
⋽	Contains With Overbar	U+22FD	The subject of this article; uses a horizontal bar above the containment symbol to express modified or negated containment
⋶	Element of With Overbar	U+22F6	The reverse perspective; indicates that an element’s membership in a set is modified or negated, written from the element’s point of view
∈	Element Of	U+2208	The most common membership symbol; states that an element belongs to a set, written from the element’s perspective rather than the set’s
∉	Not an Element Of	U+2209	Negates basic membership using a diagonal slash; says an element does not belong to a set
⋼	Small Contains With Vertical Bar at End of Horizontal Stroke	U+22FC	A different containment variant that uses a vertical bar modification instead of an overbar

Pronunciation and Reading

When reading the Contains With Overbar symbol aloud, mathematicians typically say “does not contain” or “contains with restriction,” depending on the specific context. In a lecture or discussion, you might also hear “contains bar” as a shorthand reference to the symbol itself.

Accessibility Note

Screen readers may announce this symbol as “contains with overbar” or read its Unicode name. If you’re using ⋽ in web content or documents intended for a broad audience, add surrounding text that explains the relationship in plain language. Developers should consider using an aria-label attribute when the symbol appears in interactive elements, so assistive technology can convey the meaning clearly.

When Not to Use the Contains With Overbar Symbol

The Contains With Overbar symbol is highly specialized. Don’t use it in everyday writing, business documents, or informal communication where your audience won’t recognize it. In programming source code, use language-specific syntax for set operations rather than inserting Unicode math symbols. If you’re writing for a general audience, spell out the relationship in words instead of relying on ⋽, since most readers outside of mathematics and logic won’t know what it means.

Fun Facts

Here are a few things about the Contains With Overbar symbol that might surprise you.

The overbar as a negation marker dates back to Boolean algebra in the mid-1800s, making it one of the oldest notational conventions still in active use today.
The Unicode block that houses ⋽ contains over 250 supplemental mathematical operators, most of which the average person will never encounter.
LaTeX, the typesetting system used by most mathematicians, can render ⋽ through multiple methods, but many authors still prefer to build it from component parts for finer control over spacing.
The HTML entity name “notnivc” is a compressed abbreviation; “not” for negation, “ni” for the reversed epsilon (contains), “v” for vertical, and “c” for containment.
Despite being a niche symbol, ⋽ is fully supported in every modern web browser, meaning any website can display it without special fonts or plugins.

Frequently Asked Questions

What does the Contains With Overbar symbol mean?

The Contains With Overbar symbol (⋽) represents a modified or negated version of the set containment relation. It indicates that a set contains (or does not contain) an element under specific conditions, depending on the formal system being used.

How do I type the Contains With Overbar symbol on Windows?

You can type ⋽ on Windows by holding the Alt key and typing 8957 on the numeric keypad. In Microsoft Word, type 22FD and then press Alt + X to convert it to the symbol.

What is the Unicode code point for the Contains With Overbar symbol?

The Unicode code point for the Contains With Overbar symbol is U+22FD. It belongs to the Supplemental Mathematical Operators block.

What is the HTML entity for the Contains With Overbar symbol?

The HTML entity is &notnivc; (named) or ⋽ (numeric). Either one will display ⋽ correctly in a web browser.

What is the difference between ⋽ and ∌?

Both symbols express a form of negated containment, but they use different visual conventions. The ∌ symbol (U+220C) uses a diagonal slash through the basic contains symbol, while ⋽ (U+22FD) uses a horizontal overbar above it. The choice between them depends on the notational system being used.

Where is the Contains With Overbar symbol used?

The Contains With Overbar symbol is used primarily in advanced set theory, formal logic, proof writing, and theoretical computer science. It appears in academic papers, mathematical textbooks, and formal specification documents.

Can screen readers read the Contains With Overbar symbol?

Most screen readers will announce it by its Unicode name, “contains with overbar.” For accessibility, surround the symbol with plain-language context so the meaning is clear even if the symbol itself isn’t recognized by the reader or the assistive technology.

Now You Know the Contains With Overbar Symbol

The Contains With Overbar symbol (⋽) is a small but precise tool in the mathematician’s notation toolkit. You now know what it means, where it comes from, how to type it on any device, and how it fits alongside its related set membership symbols. If you know someone studying set theory, formal logic, or mathematical typesetting, pass this article their way; they’ll appreciate having all the details in one place.

Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol (⋼) U+22FC Meaning, Copy and Paste, How to Type, and Uses

small contains with vertical bar at end of horizontal stroke symbol featured

If you’ve ever studied advanced set theory or browsed a dense mathematical paper, you may have spotted a symbol that looks like a tweaked version of the familiar “contains” sign but with an extra vertical bar attached. That symbol is the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼), and it plays a very specific role in formal mathematics. It tells you that a set contains a particular element, with an added condition or constraint marked by that vertical stroke. Most people will never need it in everyday life, but for mathematicians, logicians, and technical typographers, understanding this symbol is incredibly useful. Let’s break it down.

Symbol Snapshot

Here’s everything you need to know about the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol at a glance.

Detail	Value
Symbol	⋼
Name	Small Contains With Vertical Bar At End Of Horizontal Stroke
Unicode	U+22FC
HTML Entity	⋼ or ⋼
Alt Code (Windows)	No standard Alt code; use character map or copy/paste
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; insert via Unicode input or character picker

What Is the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol?

The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) is a specialized mathematical operator used in set theory and formal logic. It functions as a variant of the standard “contains as member” sign (∋), with the added vertical bar indicating a specific constraint or condition on the membership relationship. You’ll find it in advanced mathematical notation, academic papers, and formal proof systems where precision matters more than brevity.

Origin and History of the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The story of the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol starts with the broader family of set membership notation. Georg Cantor, the founder of modern set theory in the late 19th century, introduced the foundational ideas of sets, elements, and membership. Giuseppe Peano later formalized the “element of” symbol (∈) around 1889, and its reverse, the “contains as member” symbol (∋), followed naturally.

As set theory grew more complex through the 20th century, mathematicians needed ways to express nuanced relationships between sets and their elements. Simple membership wasn’t always enough; sometimes you needed to say “this set contains that element, but with a specific condition attached.” That’s where modified membership symbols like ⋼ came in.

The vertical bar at the end of the horizontal stroke acts as a visual modifier, signaling an additional constraint or qualification. This kind of notational refinement became especially important in formal logic, type theory, and computer science, where ambiguity can derail an entire proof. When Unicode was expanded to cover mathematical operators comprehensively, the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol earned its own code point at U+22FC, ensuring it could be represented consistently across digital platforms.

Understanding the Unicode Designation

Unicode is the universal character encoding standard that assigns a unique number to every character, symbol, and emoji used in digital communication. Think of it as a giant address book where every symbol gets its own permanent ID, so computers everywhere display the same character no matter what device or operating system you’re using.

The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol lives at code point U+22FC in the Supplemental Mathematical Operators block. This block, which spans U+2A00 through U+2AFF, houses hundreds of specialized math symbols that go beyond basic arithmetic.

For web developers, the HTML entity codes are ⋼ (the named entity) or ⋼ (the numeric entity). Either one will render the ⋼ symbol correctly in a browser. If you’re working in CSS, you can use the escape \22FC inside a content property. In JavaScript, the Unicode escape \u22FC does the same job.

These codes make it possible to include the symbol in web pages, apps, and documents without worrying about font compatibility issues, as long as the user’s system has a font that supports the Mathematical Operators Unicode block.

Meanings and Uses of the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol

Mathematics and Set Theory

The primary home of the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) is formal set theory. It expresses a “contains as member” relationship with a qualifying condition attached. In standard notation, ∋ simply means “contains as a member,” but ⋼ adds a layer of specificity through its vertical bar modifier.

You’ll encounter it in advanced proofs, particularly in areas like order theory, lattice theory, and formal semantics. When a mathematician writes A ⋼ x, they’re communicating not just that set A contains element x, but that the containment satisfies an additional property or constraint. This kind of precision prevents misreadings in complex, multi-step arguments.

Formal Logic and Proof Systems

In formal logic, every symbol must carry an unambiguous meaning. The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol serves this need by distinguishing between plain membership and conditioned membership. Proof assistants and automated theorem provers sometimes use variants like ⋼ to encode specific logical relationships that the basic ∈ and ∋ symbols can’t capture alone.

Logicians working in constructive mathematics or intuitionistic logic may also reach for this symbol when they need to express membership under particular proof-theoretic constraints. It’s a niche use, but in that niche, it’s indispensable.

Computer Science and Type Theory

Type theory borrows heavily from set theory, and symbols like ⋼ occasionally appear in formal type system specifications. When defining type membership with restrictions, a modified containment symbol can express relationships that plain membership operators leave ambiguous.

Programming language researchers and compiler designers working on dependent type systems or refinement types may encounter this symbol in academic literature. It’s not something you’d type into a code editor, but understanding it helps when reading the papers that inform language design.

Academic Publishing and Technical Typography

The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol shows up in typeset mathematical documents, particularly those prepared with LaTeX or similar systems. Publishers of academic journals in mathematics, logic, and theoretical computer science need to render this symbol accurately. Having a dedicated Unicode code point ensures that digital versions of these papers display correctly across platforms and PDF viewers.

How to Type the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The ⋼ symbol isn’t on any standard keyboard, so you’ll need to use one of these methods depending on your platform.

Platform	Method	Steps
Windows	Character Map	Open Character Map, search for U+22FC, select and copy
Windows	Unicode Input	In some apps, type 22FC then press Alt + X
Windows 11	Symbol Picker	Press Win + . then search “contains”; may not appear in all builds
Mac	Character Viewer	Press Control + Command + Space, search “contains with vertical bar”
Chromebook	Unicode Input	Enable Unicode input in settings, press Ctrl + Shift + U, type 22FC, press Enter
iPhone/iPad	Copy and Paste	Copy ⋼ from this page and paste where needed
Android	Copy and Paste	Copy ⋼ from this page and paste where needed
Microsoft Word	Alt + X Method	Type 22FC then press Alt + X to convert it to ⋼
Google Docs	Special Characters	Click Insert, then Special Characters, search “contains vertical bar”
HTML	Entity Code	Use `&nis;` or `⋼` in your markup

The fastest method for most people is simply copying the symbol from this page using the copy button above and pasting it wherever you need it.

Use It in a Sentence

Here are a few examples showing how the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol appears in context.

“Let A ⋼ x denote that set A contains x under the given ordering constraint.”
“The proof requires showing that B ⋼ y for all y satisfying the boundary condition.”
“In this lattice, we write L ⋼ p to indicate conditioned membership.”
“The HTML entity &nis; renders the ⋼ symbol in any modern browser.”

When Not to Use the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol

This symbol is highly specialized, and using it outside its intended context can cause confusion. Don’t use ⋼ when you simply mean “contains as member”; the standard ∋ symbol is the right choice for that. Avoid it in general-audience documents, business writing, or any context where readers won’t recognize advanced mathematical notation.

In programming, don’t substitute ⋼ for comparison operators or membership checks in code. Most programming languages won’t recognize it as a valid operator, and it could cause syntax errors or silent bugs. Stick to language-specific keywords like in or contains instead.

Pronunciation and Reading

When reading aloud, mathematicians typically say “contains with vertical bar” or “small contains with bar.” There’s no single universally agreed-upon pronunciation, so context usually guides how people refer to it. In a lecture or presentation, saying “A contains x with the bar condition” communicates the meaning clearly.

Accessibility Note

Screen readers may announce this symbol as “small contains with vertical bar at end of horizontal stroke” or simply read its Unicode name. Because the name is long and technical, surrounding text should always make the meaning clear without relying on the symbol alone. If you’re building a web page that uses ⋼, consider adding an aria-label or a nearby plain-language explanation so assistive technology users understand the content.

Related Variants and Lookalike Symbols

Several symbols look similar to ⋼ or belong to the same family of set membership operators. Here’s how they differ.

Symbol	Name	Unicode	How It Differs
∋	Contains As Member	U+220B	The standard “contains” sign without any modifier; indicates plain set membership
∈	Element Of	U+2208	Points the opposite direction; means “is an element of” rather than “contains”
⋺	Small Contains With Overbar	U+22FA	Uses an overbar modifier instead of a vertical bar, indicating a different type of constraint
⋻	Small Contains With Vertical Bar At End Of Horizontal Stroke (reversed)	U+22FB	A related variant with a slightly different stroke arrangement, used for a distinct logical relationship
∍	Small Contains As Member	U+220D	A smaller, text-style version of the basic contains sign with no additional modifier
⊇	Superset Of Or Equal To	U+2287	Expresses a set-to-set relationship (superset) rather than a set-to-element relationship
∌	Does Not Contain As Member	U+220C	The negated form of the basic contains sign, meaning the set does not include the element

If you’re interested in the “element of” side of this family, check out our guide to the element of symbol for a full breakdown.

Fun Facts

Here are a few things you might not know about the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol.

The named HTML entity ⋼ is one of the shortest entity names in the entire HTML specification, making it surprisingly easy to remember for web developers.
The Supplemental Mathematical Operators Unicode block where ⋼ lives contains over 250 symbols, many of which most mathematicians will never use in their entire careers.
The vertical bar modifier in mathematical notation has roots going back to the 17th century, when mathematicians first started using vertical lines to indicate conditions and constraints in equations.
Despite its intimidating name, ⋼ is really just a “contains” sign with a small extra mark; proof that even in math, small visual tweaks can carry big meaning.

Frequently Asked Questions

What does the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol mean?

The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) indicates that a set contains an element with an additional condition or constraint, as marked by the vertical bar. It’s a specialized variant of the standard “contains as member” symbol (∋).

How do I type the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol on Windows?

In Microsoft Word or compatible apps, type 22FC and then press Alt + X to convert it to ⋼. You can also open the Windows Character Map, search for U+22FC, and copy the symbol from there.

What is the Unicode code point for ⋼?

The Unicode code point for the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol is U+22FC. It belongs to the Supplemental Mathematical Operators block.

What is the HTML entity for the ⋼ symbol?

The HTML entity is &nis; (named) or ⋼ (numeric). Either one will display the ⋼ symbol correctly in web browsers.

How is ⋼ different from ∋?

The standard contains symbol (∋) indicates plain set membership, meaning a set includes a given element. The ⋼ symbol adds a vertical bar modifier to signal that the membership relationship comes with a specific condition or constraint.

Where is the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol used?

It appears primarily in advanced set theory, formal logic, type theory, and academic mathematical publications. It’s not used in everyday writing or standard programming.

How do screen readers handle the ⋼ symbol?

Screen readers typically announce it by its full Unicode name, “small contains with vertical bar at end of horizontal stroke.” Because the name is long, it’s best to include plain-language context nearby so all readers understand the meaning.

Now You Know the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) might have one of the longest names in Unicode, but its purpose is refreshingly specific. It tells you a set contains an element under a particular condition. Now you know its meaning, its Unicode code point, its HTML entities, and exactly how to type or paste it on any device. If you know someone who works with set theory, formal logic, or mathematical typesetting, pass this article their way; they’ll appreciate having all the details in one place.

256 Fascinating Mathematical Symbols You Never Knew Existed

You use mathematical symbols every single day, and you probably don’t give most of them a second thought. That plus sign on your calculator, the equals sign in your spreadsheet, the percent symbol on a price tag; they’re so familiar they feel invisible.

But behind each one is a story, a set of rules, and a surprising amount of power packed into a tiny mark. This guide walks you through every major mathematical symbol, from the ones you learned in first grade to the ones that show up in advanced science and programming.

You can also explore all 256 Unicode mathematical operators using our interactive symbol keyboard below.

By the end, you’ll know exactly what each symbol does, when to reach for it, and how to avoid the mistakes that trip most people up.

What Mathematical Symbols Are and Why They Matter

What Are Mathematical Symbols

Mathematical symbols are written marks that represent numbers, operations, relationships, and concepts in a standardized visual form. They replace words and phrases with compact, universally recognized characters so that mathematical ideas can be expressed quickly and without ambiguity. Instead of writing out “three added to five equals eight,” you write 3 + 5 = 8.

Every mathematical symbol falls into one of a few broad roles. Some represent operations, like the plus sign (+) for addition or the integral sign (∫) for integration. Others express relationships, like the equals sign (=) for equality or the less-than sign (<) for comparison.

Still others stand for specific values or concepts, like the infinity symbol (∞) or the empty set (∅). Together, these symbols form a complete written language with its own grammar, syntax, and rules of structure.

Why Mathematical Symbols Matter

Mathematical symbols are universal in a way that very few things are. A student in Tokyo, a programmer in Berlin, and an accountant in New York all read the expression 3 + 5 = 8 the same way, regardless of what language they speak. That universality makes math the closest thing we have to a shared global language.

Beyond universality, these symbols give you precision that words can’t match. The phrase “a lot more than” is vague. The symbol ≫ (much greater than) is exact. This precision matters everywhere, from engineering tolerances to financial models to lines of code.

Understanding mathematical symbols as a connected system, rather than a jumble of marks on a page, turns math into a toolkit where every piece has a clear job. That shift makes everything from balancing a budget to reading a scientific paper feel a lot more approachable.

Explore All 256 Mathematical Symbols

Every symbol in the Unicode Mathematical Operators block (U+2200 through U+22FF) is listed below. Tap any symbol to open its full GoldKey Symbols guide, where you’ll find its meaning, history, typing instructions, and more.

GoldKey Symbols

Mathematical Symbols Keyboard

Browse all 256 Unicode Mathematical Operators. Select any tile to open its full GoldKey Symbols guide.

∀ ∑ √ ∞

∀ U+2200 ∁ U+2201 ∂ U+2202 ∃ U+2203 ∄ U+2204 ∅ U+2205 ∆ U+2206 ∇ U+2207 ∈ U+2208 ∉ U+2209 ∊ U+220A ∋ U+220B ∌ U+220C ∍ U+220D ∎ U+220E ∏ U+220F ∐ U+2210 ∑ U+2211 − U+2212 ∓ U+2213 ∔ U+2214 ∕ U+2215 ∖ U+2216 ∗ U+2217 ∘ U+2218 ∙ U+2219 √ U+221A ∛ U+221B ∜ U+221C ∝ U+221D ∞ U+221E ∟ U+221F ∠ U+2220 ∡ U+2221 ∢ U+2222 ∣ U+2223 ∤ U+2224 ∥ U+2225 ∦ U+2226 ∧ U+2227 ∨ U+2228 ∩ U+2229 ∪ U+222A ∫ U+222B ∬ U+222C ∭ U+222D ∮ U+222E ∯ U+222F ∰ U+2230 ∱ U+2231 ∲ U+2232 ∳ U+2233 ∴ U+2234 ∵ U+2235 ∶ U+2236 ∷ U+2237 ∸ U+2238 ∹ U+2239 ∺ U+223A ∻ U+223B ∼ U+223C ∽ U+223D ∾ U+223E ∿ U+223F ≀ U+2240 ≁ U+2241 ≂ U+2242 ≃ U+2243 ≄ U+2244 ≅ U+2245 ≆ U+2246 ≇ U+2247 ≈ U+2248 ≉ U+2249 ≊ U+224A ≋ U+224B ≌ U+224C ≍ U+224D ≎ U+224E ≏ U+224F ≐ U+2250 ≑ U+2251 ≒ U+2252 ≓ U+2253 ≔ U+2254 ≕ U+2255 ≖ U+2256 ≗ U+2257 ≘ U+2258 ≙ U+2259 ≚ U+225A ≛ U+225B ≜ U+225C ≝ U+225D ≞ U+225E ≟ U+225F ≠ U+2260 ≡ U+2261 ≢ U+2262 ≣ U+2263 ≤ U+2264 ≥ U+2265 ≦ U+2266 ≧ U+2267 ≨ U+2268 ≩ U+2269 ≪ U+226A ≫ U+226B ≬ U+226C ≭ U+226D ≮ U+226E ≯ U+226F ≰ U+2270 ≱ U+2271 ≲ U+2272 ≳ U+2273 ≴ U+2274 ≵ U+2275 ≶ U+2276 ≷ U+2277 ≸ U+2278 ≹ U+2279 ≺ U+227A ≻ U+227B ≼ U+227C ≽ U+227D ≾ U+227E ≿ U+227F ⊀ U+2280 ⊁ U+2281 ⊂ U+2282 ⊃ U+2283 ⊄ U+2284 ⊅ U+2285 ⊆ U+2286 ⊇ U+2287 ⊈ U+2288 ⊉ U+2289 ⊊ U+228A ⊋ U+228B ⊌ U+228C ⊍ U+228D ⊎ U+228E ⊏ U+228F ⊐ U+2290 ⊑ U+2291 ⊒ U+2292 ⊓ U+2293 ⊔ U+2294 ⊕ U+2295 ⊖ U+2296 ⊗ U+2297 ⊘ U+2298 ⊙ U+2299 ⊚ U+229A ⊛ U+229B ⊜ U+229C ⊝ U+229D ⊞ U+229E ⊟ U+229F ⊠ U+22A0 ⊡ U+22A1 ⊢ U+22A2 ⊣ U+22A3 ⊤ U+22A4 ⊥ U+22A5 ⊦ U+22A6 ⊧ U+22A7 ⊨ U+22A8 ⊩ U+22A9 ⊪ U+22AA ⊫ U+22AB ⊬ U+22AC ⊭ U+22AD ⊮ U+22AE ⊯ U+22AF ⊰ U+22B0 ⊱ U+22B1 ⊲ U+22B2 ⊳ U+22B3 ⊴ U+22B4 ⊵ U+22B5 ⊶ U+22B6 ⊷ U+22B7 ⊸ U+22B8 ⊹ U+22B9 ⊺ U+22BA ⊻ U+22BB ⊼ U+22BC ⊽ U+22BD ⊾ U+22BE ⊿ U+22BF ⋀ U+22C0 ⋁ U+22C1 ⋂ U+22C2 ⋃ U+22C3 ⋄ U+22C4 ⋅ U+22C5 ⋆ U+22C6 ⋇ U+22C7 ⋈ U+22C8 ⋉ U+22C9 ⋊ U+22CA ⋋ U+22CB ⋌ U+22CC ⋍ U+22CD ⋎ U+22CE ⋏ U+22CF ⋐ U+22D0 ⋑ U+22D1 ⋒ U+22D2 ⋓ U+22D3 ⋔ U+22D4 ⋕ U+22D5 ⋖ U+22D6 ⋗ U+22D7 ⋘ U+22D8 ⋙ U+22D9 ⋚ U+22DA ⋛ U+22DB ⋜ U+22DC ⋝ U+22DD ⋞ U+22DE ⋟ U+22DF ⋠ U+22E0 ⋡ U+22E1 ⋢ U+22E2 ⋣ U+22E3 ⋤ U+22E4 ⋥ U+22E5 ⋦ U+22E6 ⋧ U+22E7 ⋨ U+22E8 ⋩ U+22E9 ⋪ U+22EA ⋫ U+22EB ⋬ U+22EC ⋭ U+22ED ⋮ U+22EE ⋯ U+22EF ⋰ U+22F0 ⋱ U+22F1 ⋲ U+22F2 ⋳ U+22F3 ⋴ U+22F4 ⋵ U+22F5 ⋶ U+22F6 ⋷ U+22F7 ⋸ U+22F8 ⋹ U+22F9 ⋺ U+22FA ⋻ U+22FB ⋼ U+22FC ⋽ U+22FD ⋾ U+22FE ⋿ U+22FF

The Core Mathematical Symbols

Here’s a quick-reference table covering the most common mathematical symbols you’ll encounter.

Symbol	Name	What It Does	Example
+	Plus sign	Adds values together	3 + 4 = 7
−	Minus sign	Subtracts one value from another	10 − 6 = 4
×	Multiplication sign	Multiplies values	5 × 3 = 15
÷	Division sign	Divides one value by another	12 ÷ 4 = 3
=	Equals sign	Shows two expressions are equal	2 + 2 = 4
≠	Not equal to	Shows two values are different	5 ≠ 3
<	Less than	Left value is smaller	2 < 7
>	Greater than	Left value is larger	9 > 4
≤	Less than or equal to	Left value is smaller or the same	x ≤ 10
≥	Greater than or equal to	Left value is larger or the same	y ≥ 0
≈	Approximately equal	Values are close but not exact	π ≈ 3.14
%	Percent sign	Represents a fraction of 100	25% = 0.25
√	Square root	Finds a number’s square root	√9 = 3
∞	Infinity	Represents a value without limit	x → ∞

The Plus Sign (+)

The plus sign is the most recognized mathematical symbol in the world, and its job is simple: it tells you to add two or more values together. You’ll reach for it any time you’re combining quantities, from totaling a grocery bill to summing cells in a spreadsheet. In programming, the plus sign also concatenates strings in many languages, joining text like “hello” + “world.”

It pairs naturally with the minus sign, and together they form the foundation of arithmetic. In algebra, the plus sign also marks positive numbers and positive directions on a number line.

The Minus Sign (−)

The minus sign (U+2212) tells you to subtract one value from another, but it does double duty as the indicator for negative numbers. You’ll see it on thermometers, bank statements, and altitude readings. It’s worth noting that the true minus sign is a different character from the hyphen-minus (-) on your keyboard; the minus sign is slightly longer and sits at the same height as the plus sign’s horizontal bar.

In programming, the keyboard hyphen-minus typically stands in for the minus sign, but in professional typesetting and published math, the correct Unicode character matters. The minus sign pairs with the plus sign and reverses its operation.

The Multiplication Sign (×)

The multiplication sign tells you to multiply two values, and it comes in a few forms. The × symbol (U+00D7) is the most recognizable version, but you’ll also see a centered dot (·) in algebra and an asterisk (*) in programming and spreadsheets. Which one you use depends on context.

In early math education, × is standard. In algebra, the dot avoids confusion with the variable x. And in code, the asterisk is universal. The multiplication sign interacts with the division sign as its inverse, and both are governed by the order of operations.

The Division Sign (÷)

The division sign (U+00F7) splits one value into equal parts. You’ve probably seen it on calculators, but in most professional and academic math, division is written as a fraction (using a horizontal bar) or with a forward slash (/). The ÷ symbol is mostly used in elementary education and consumer electronics.

In programming, the forward slash handles division in virtually every language. The division sign works as the inverse of multiplication, and it’s one of the four basic arithmetic operators alongside addition, subtraction, and multiplication.

The Equals Sign (=)

The equals sign is the bridge of every equation. It tells you that what’s on the left side has the same value as what’s on the right. Robert Recorde invented it in 1557 because he was tired of writing “is equal to” over and over. In programming, the single equals sign typically means assignment (giving a variable a value), while the double equals (==) tests for equality.

This distinction trips up beginners constantly. The equals sign connects every other mathematical symbol by declaring relationships between expressions.

The Not Equal To Sign (≠)

The not equal to sign does exactly what it looks like; it tells you two values are different. You’ll see it in math proofs, logic, and programming (where it’s often written as != or <>). It’s the negation of the equals sign, and it’s surprisingly useful in everyday contexts, too.

Anytime a recipe says “use any oil ≠ olive oil,” that symbol is doing real work. In formal mathematics, the not equal to sign appears in proofs and set definitions where exclusion matters.

Less Than (<) and Greater Than (>)

The less than and greater than signs compare two values. The opening points toward the smaller number; think of the symbol as a tiny mouth that always wants to eat the bigger value. These mathematical symbols show up everywhere, from math class to coding, where they control conditional logic (“if x > 10, do this”).

They pair with the less than or equal to sign (≤) and greater than or equal to sign (≥) for situations where equality is also an option. In HTML, these mathematical symbols have special significance because they define tags, so web developers use < and > to display them as text.

Less Than or Equal To (≤) and Greater Than or Equal To (≥)

These mathematical symbols expand on the basic comparison signs by including the possibility of equality. The less than or equal to sign (≤) means “this value is either smaller or the same,” and the greater than or equal to sign (≥) means “this value is either larger or the same.” They’re essential in algebra, calculus, and programming. In code, you’ll typically see them written as <= and >=.

These mathematical symbols appear constantly in real-world rules and constraints, like “passengers ≥ 2 can use the carpool lane” or “temperature ≤ 32°F means freezing.”

The Approximately Equal Sign (≈)

The approximately equal sign tells you that two values are close but not identical. Scientists, engineers, and statisticians use it all the time because exact values are often impractical or impossible to state. Pi is approximately 3.14159, not exactly; the decimal never ends.

The ≈ symbol (U+2248) also shows up in everyday estimates. If someone says a project took ≈ 3 hours, they mean roughly three hours. It’s a more precise way of saying “about” in contexts where precision matters. For a full breakdown, see our guide to the approximately equal sign.

The Percent Sign (%)

The percent sign represents a number as a fraction of 100. It’s one of the most widely understood mathematical symbols outside of arithmetic, showing up on sale tags, tax forms, battery indicators, and nutrition labels. In programming, the percent sign often serves as the modulo operator, which returns the remainder after division.

The word “percent” comes from the Latin per centum, meaning “by the hundred.” This symbol sits at the intersection of math and everyday life more than almost any other.

The Square Root Sign (√)

The square root sign (U+221A) asks a specific question: what number, multiplied by itself, gives you this value? The square root of 9 is 3 because 3 × 3 = 9. The symbol evolved from a stylized letter r (for radix, the Latin word for root), and it’s been in use since the 16th century.

You’ll encounter square roots in geometry, physics, statistics, and finance. In programming, square root is usually a function call (like Math.sqrt()) rather than a symbol. The radical sign extends to cube roots (∛) and fourth roots (∜) with a small number tucked into the crook of the symbol.

The Infinity Symbol (∞)

The infinity symbol represents a quantity without any limit or end. Mathematician John Wallis introduced it in 1655, and its shape (a sideways figure eight, also called a lemniscate) has become one of the most iconic mathematical symbols in all of mathematics.

You’ll see it in calculus when describing limits that grow without bound, in set theory when talking about infinite sets, and in physics when modeling concepts like the heat death of the universe. Outside of math, the infinity symbol has become a popular cultural icon representing eternity, boundlessness, and endless possibility.

Symbols Beyond the Core

The mathematical symbols above handle most everyday math, but the mathematical symbol family extends far into specialized territory. Here are some of the mathematical symbols you’ll encounter as you move into more advanced fields.

Symbol	Name	What It Does
∫	Integral sign	Calculates the area under a curve or accumulates a quantity over a range
∑	Summation sign	Adds up a series of values according to a pattern
∏	Product sign	Multiplies a series of values according to a pattern
∂	Partial differential	Represents a partial derivative in multivariable calculus
∀	For all	States that something is true for every element in a set
∃	There exists	States that at least one element satisfies a condition
∈	Element of	Shows that a value belongs to a specific set
∪	Union	Combines two sets into one containing all elements of both
∩	Intersection	Finds elements that two sets have in common
∅	Empty set	Represents a set with no elements
∇	Nabla (del)	Represents gradient, divergence, or curl in vector calculus
⊂	Subset of	Shows that every element of one set also belongs to another
∧	Logical AND	True only when both statements are true
∨	Logical OR	True when at least one statement is true
¬	Logical NOT	Reverses the truth value of a statement

These mathematical symbols show up in college-level math, physics, engineering, computer science, and formal logic. Each one represents a concept that would take an entire phrase or sentence to write out in words, which is exactly why they exist.

Unicode dedicates an entire block to mathematical operators (U+2200 through U+22FF), with 256 code points covering symbols from the for-all quantifier to the bowtie relation.

History and Origins

Ancient Roots

Mathematical symbols weren’t always part of math. For thousands of years, mathematicians wrote everything out in words and sentences. Ancient Egyptians, Babylonians, and Greeks all developed sophisticated mathematics, but they described their work using natural language and geometric diagrams.

The idea that you could replace a phrase like “added to” with a single mark was still centuries away. The first symbols to gain traction were abbreviations; shorthand that evolved gradually from words into standalone marks.

The Renaissance Breakthrough

The 15th and 16th centuries changed everything. European mathematicians began introducing the symbols we still use today. The plus (+) and minus (−) signs appeared in German mathematical texts in the late 1400s, likely evolving from the Latin word et (meaning “and”) and a shorthand dash for subtraction.

Robert Recorde introduced the equals sign (=) in 1557 in his book The Whetstone of Witte, choosing two parallel lines because, as he wrote, nothing could be more equal. The multiplication sign (×) arrived in 1631, courtesy of William Oughtred, and the division sign (÷) was popularized by Johann Rahn in 1659.

Within about 200 years, the core arithmetic symbols were in place.

Standardization and Unicode

As mathematical fields expanded through the 18th, 19th, and 20th centuries, hundreds of new symbols emerged for calculus, set theory, logic, abstract algebra, and statistics. Leonhard Euler, who contributed the infinity symbol’s popularization alongside many other notational conventions, was a major force in standardizing mathematical notation during the 18th century.

By the time computers arrived, there were thousands of mathematical symbols in active use, and encoding them digitally became a serious challenge. Unicode solved this by assigning a unique code point to every symbol.

The primary Mathematical Operators block (U+2200 to U+22FF) contains 256 characters, and additional blocks like Supplemental Mathematical Operators (U+2A00 to U+2AFF) and Mathematical Alphanumeric Symbols (U+1D400 to U+1D7FF) bring the total number of math-related Unicode characters to over 2,300.

This means every mathematical symbol, from the simple plus sign to the most obscure logical operator, can be typed, displayed, and transmitted on any modern device.

How They Work Together

Mathematical symbols follow a strict set of rules that determine the order in which they’re applied. You probably know this as the order of operations, and it’s one of the most important concepts in all of math.

The standard order is parentheses first, then exponents, then multiplication and division (from left to right), and finally addition and subtraction (from left to right).

Many people remember this with the acronym PEMDAS (or BODMAS in some countries). Without these rules, an expression like 3 + 4 × 2 could mean 14 or 11, depending on which operation you do first. The order of operations ensures everyone gets the same answer: 11.

Here’s how the hierarchy works in practice:

Priority	Symbols	Example
1st	Parentheses ( )	(3 + 4) × 2 = 14
2nd	Exponents, roots	2³ = 8, √16 = 4
3rd	Multiplication, division	4 × 3 ÷ 2 = 6
4th	Addition, subtraction	5 + 3 − 1 = 7

Comparison symbols (=, <, >, ≤, ≥, ≠) are evaluated after all arithmetic operations are complete. They tell you about the relationship between the two sides of the expression, not about performing a calculation. In programming, this layered system of symbol priority is called operator precedence, and it governs how code is interpreted just as it governs how equations are solved.

Everyday Uses You Might Not Think About

Mathematical symbols are so woven into daily life that you often use them without realizing you’re doing math.

The plus sign (+) on your phone. Every international phone number starts with a + sign, representing the international dialing prefix. It’s a mathematical symbol repurposed for telecommunications.
The percent sign (%) on nutrition labels. When a cereal box says “10% of your daily iron,” it’s using a mathematical symbol to communicate a fraction of a whole. That % sign is doing the same job it does in an algebra class; it just happens to be on your breakfast table.
Greater than and less than in online filters. Every time you filter search results by price (< $50) or rating (≥ 4 stars), you’re using comparison symbols to define a range. Shopping sites, review platforms, and booking apps all rely on these mathematical operators.
The equals sign (=) in every spreadsheet. In Excel or Google Sheets, every formula begins with an equals sign. It tells the software that what follows is an expression to evaluate, not just text. That single = sign is the gateway to all spreadsheet math.
The infinity symbol (∞) in pop culture. From tattoos to jewelry to brand logos, the infinity symbol has transcended mathematics entirely. It represents love, eternity, and limitlessness in contexts that have nothing to do with calculus.
The asterisk (*) as multiplication. When you type 5*3 into a search engine or calculator app, the asterisk acts as the multiplication sign. Most people don’t even think of it as a mathematical symbol, but it’s doing the same work as × behind the scenes.

Common Mistakes to Watch For

Even experienced students and professionals make these errors with mathematical symbols. Here’s how to avoid them.

Confusing the minus sign with the hyphen. The true minus sign (−, U+2212) and the keyboard hyphen-minus (-, U+002D) look almost identical but are different characters. In casual use, this doesn’t matter much, but in professional typesetting, scientific publishing, and some programming contexts, using the wrong one can cause errors or ugly formatting. Always use the proper minus sign in formal math.
Ignoring the order of operations. Writing 3 + 4 × 2 and getting 14 is one of the most common math mistakes in the world. Multiplication comes before addition, so the correct answer is 11. When in doubt, use parentheses to make your intent explicit.
Mixing up = and == in programming. In most programming languages, a single equals sign (=) assigns a value, while a double equals sign (==) checks for equality. Writing if (x = 5) instead of if (x == 5) is a classic bug that can silently break your code.
Using × when you mean x the variable. The multiplication sign (×) and the lowercase letter x look similar in some fonts, which leads to confusion in algebra. This is exactly why mathematicians switched to the centered dot (·) or implicit multiplication (writing 3y instead of 3 × y) in algebraic contexts.
Confusing ≤ with <. The “less than” sign (<) excludes the boundary value, while “less than or equal to” (≤) includes it. This distinction matters enormously in programming, statistics, and any context involving ranges or thresholds. An off-by-one error can change the meaning of an entire expression.

Who Standardizes These Symbols

The International Organization for Standardization (ISO) maintains standards for mathematical notation, particularly through ISO 80000-2, which defines symbols and conventions used in mathematics and science.

For digital encoding, the Unicode Consortium assigns unique code points to every mathematical symbol, ensuring consistent rendering across devices and platforms. Web standards for displaying mathematical symbols in HTML and MathML are maintained by the World Wide Web Consortium (W3C).

Together, these organizations ensure that mathematical symbols remain consistent, readable, and universally accessible in both print and digital contexts.

Now You Know Your Mathematical Symbols

From the humble plus sign to the infinite reaches of ∞, mathematical symbols are the most efficient language humans have ever invented.

You’ve just covered the symbols that power everything from grade-school homework to cutting-edge physics, and you now know how they work, where they came from, and how to avoid the most common mistakes.

If you’ve got a friend who always argues about PEMDAS or mixes up their equals signs in code, send this their way.

Contains With Vertical Bar At End Of Horizontal Stroke Symbol (⋻) U+22FB Meaning, Copy and Paste, How to Type, and Uses

contains with vertical bar at end of horizontal stroke symbol featured

If you’ve ever studied advanced set theory or worked through formal mathematical proofs, you may have encountered a symbol that looks like a sideways “U” with a small vertical bar at the tip. That’s the Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋻), and it plays a very specific role in expressing relationships between sets and their elements. Most people will never need this symbol in everyday life, but for mathematicians, logicians, and computer scientists working with set membership notation, it’s a precise and powerful tool. Let’s break down exactly what it means, where it comes from, and how to use it.

Symbol Snapshot

Here’s everything you need to know about the Contains With Vertical Bar At End Of Horizontal Stroke symbol at a glance.

Detail	Value
Symbol	⋻
Name	Contains With Vertical Bar At End Of Horizontal Stroke
Unicode	U+22FB
HTML Entity	⋻ or ⋻
Alt Code (Windows)	No standard Alt code; use character map or Unicode input
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; copy and paste or use Unicode input

What Is the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋻) is a specialized set membership operator used in formal mathematics and logic. It indicates that a set contains a particular element, with the vertical bar adding a specific qualifying condition or restriction to that containment relationship. Think of it as a more precise cousin of the standard “contains” symbol (∋), refined with an extra stroke to convey additional mathematical nuance. You’ll find it primarily in advanced set theory papers, formal logic proofs, and specialized mathematical typesetting.

Origin and History of the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The story of the Contains With Vertical Bar At End Of Horizontal Stroke symbol starts with the broader family of set membership symbols. Set theory itself was formalized in the late 19th century by Georg Cantor, who introduced the foundational concepts of sets, elements, and membership. The basic “element of” symbol (∈) was introduced by Giuseppe Peano in 1889, drawn from the first letter of the Greek word “ἐστί” (meaning “is”).

Over the following century, mathematicians needed more expressive notation. As set theory grew more complex, so did the symbols used to describe relationships between sets and elements. Variants like ⋻ emerged to handle cases where standard containment symbols weren’t precise enough to capture the intended meaning.

The vertical bar at the end of the horizontal stroke serves as a visual modifier. In mathematical notation, vertical bars often signal conditions, restrictions, or absolute values. Adding one to the containment symbol creates a distinct operator that communicates a qualified or conditional form of set membership. The symbol was formally encoded in Unicode as part of the Mathematical Operators block, ensuring it could be used consistently across digital platforms and typesetting systems worldwide.

Understanding the Unicode Designation

Unicode is the universal system that assigns a unique number to every character and symbol used in digital communication. It ensures that a symbol typed on one device looks the same on another, regardless of operating system, browser, or software.

The Contains With Vertical Bar At End Of Horizontal Stroke symbol is assigned the code point U+22FB. That “U+” prefix tells you it’s a Unicode value, and “22FB” is the hexadecimal number that identifies this specific character. It lives in the Mathematical Operators Supplement block (U+2A00-U+2AFF range area), alongside other advanced mathematical notation symbols.

For web developers, the HTML entity codes are essential. You can insert this symbol into a webpage using either the named entity &xnis; or the numeric entity ⋻. Both produce the same result: the ⋻ character rendered in the browser. If you’re working with CSS, you can use the escape \22FB inside a content property. These codes make it possible to display the Contains With Vertical Bar At End Of Horizontal Stroke symbol reliably in any modern web environment.

Meanings and Uses of the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

Set Theory and Formal Mathematics

The primary home of the Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋻) is set theory. In this context, it expresses a containment relationship where a set includes a specific element under a particular condition or restriction. The vertical bar modifier distinguishes it from the plain “contains as member” symbol (∋), signaling to the reader that additional constraints apply. Mathematicians use it in formal proofs and definitions where precision in notation prevents ambiguity. You’ll encounter it most often in graduate-level textbooks, research papers, and journals focused on pure mathematics.

Mathematical Logic and Proof Writing

In formal logic, every symbol carries exact meaning, and even small visual differences between operators matter. The ⋻ symbol appears in logical proofs where set membership needs to be expressed with a qualifying condition. Logicians rely on these variant symbols to keep their arguments airtight. Using the standard ∋ when the qualified form ⋻ is intended could introduce ambiguity into a proof, which is why these distinctions exist.

Computer Science and Type Theory

Computer scientists working in type theory and formal verification sometimes encounter the Contains With Vertical Bar At End Of Horizontal Stroke symbol. Type systems in programming languages borrow heavily from set theory, and formal specifications for software verification may use specialized set membership operators. While you won’t see ⋻ in everyday code, it can appear in academic papers about programming language theory, automated theorem proving, and formal methods research.

Academic Publishing and Typesetting

The ⋻ symbol is supported by major mathematical typesetting systems, including LaTeX and MathML. Academic publishers and journal editors need these symbols to render correctly in both print and digital formats. The Unicode encoding of U+22FB ensures that manuscripts can be shared, reviewed, and published without the symbol breaking or rendering as a blank box. If you’re writing a paper that requires this symbol, LaTeX packages like amssymb or stmaryrd typically include it.

Technical Documentation

Specialized technical documentation for mathematical software, proof assistants like Coq or Lean, and symbolic computation tools may reference the ⋻ symbol. These documents often need to display the full range of set-theoretic operators to explain how the software handles formal mathematical expressions. The symbol helps maintain consistency between the notation used in theory and the notation displayed by the software.

How to Type the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The Contains With Vertical Bar At End Of Horizontal Stroke symbol isn’t available on any standard keyboard, but there are several ways to insert it depending on your platform.

Platform	Method	Steps
Windows	Character Map	Open Character Map, search for U+22FB, select and copy
Windows	Unicode Input	In some apps, type 22FB then press Alt + X
Mac	Character Viewer	Press Control + Command + Space, search “contains,” select ⋻
Chromebook	Unicode Input	Enable Unicode input, press Ctrl + Shift + U, type 22FB, press Enter
iPhone/iPad	Copy and Paste	Copy ⋻ from this page and paste where needed
Android	Copy and Paste	Copy ⋻ from this page and paste where needed
Microsoft Word	Alt + X Method	Type 22FB, then immediately press Alt + X
Google Docs	Special Characters	Go to Insert → Special Characters, search “contains vertical bar”
LaTeX	Command	Use a package like `stmaryrd` and the appropriate command
HTML	Entity Code	Use `&xnis;` or `⋻` in your HTML source

The fastest method for most people is simply copying the symbol from this page and pasting it wherever you need it. For frequent use in academic writing, setting up a LaTeX environment or a text expansion shortcut will save you time.

Use It in a Sentence

Here are a few examples showing how the Contains With Vertical Bar At End Of Horizontal Stroke symbol might appear in context.

“Let A ⋻ x denote that set A contains element x under the given restriction.”
“The proof requires showing that B ⋻ y for all y satisfying the boundary condition.”
“In our formal specification, we write S ⋻ n to indicate qualified membership.”
“The notation distinguishes ⋻ from ∋ to signal that a conditional constraint applies.”

When Not to Use the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

Avoid using the ⋻ symbol in contexts where the standard “contains” symbol (∋) is sufficient. If your mathematical statement doesn’t involve a qualifying condition or restriction on set membership, the plain operator is clearer and more widely understood. Using ⋻ unnecessarily can confuse readers who aren’t familiar with the variant. In general-purpose writing, informal math, or any non-technical context, stick with words like “contains” or “includes” instead of specialized notation.

Pronunciation and Reading

When reading the ⋻ symbol aloud, mathematicians typically say “contains with vertical bar” or simply describe the relationship it represents, such as “A contains x subject to the condition.” There is no single universally agreed-upon spoken name for this symbol; most readers will describe its meaning rather than pronounce a fixed label.

Accessibility Note

Screen readers may announce the ⋻ symbol by its full Unicode name, “contains with vertical bar at end of horizontal stroke,” or they may skip it entirely depending on the software. If you’re using this symbol in web content or digital documents, add an aria-label or nearby plain-text explanation so that readers using assistive technology can understand the intended meaning. The W3C Web Accessibility Initiative recommends providing text alternatives for mathematical symbols that may not be universally recognized by screen readers.

Related Variants and Lookalike Symbols

Several symbols in the set membership family look similar to the Contains With Vertical Bar At End Of Horizontal Stroke symbol. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∋	Contains As Member	U+220B	The standard containment symbol with no vertical bar modifier; indicates simple set membership without any qualifying condition
∈	Element Of	U+2208	Points in the opposite direction; means “is an element of” rather than “contains,” expressing membership from the element’s perspective
⋺	Contains With Long Horizontal Stroke	U+22FA	Features an extended horizontal stroke but lacks the vertical bar; indicates a different variant of qualified containment
⋼	Small Contains With Vertical Bar At End Of Horizontal Stroke	U+22FC	A smaller typographic variant of ⋻ used in subscript or inline contexts where full-size notation would be too large
⋽	Contains With Overbar	U+22FD	Uses an overbar instead of a vertical bar to modify the containment relationship; signals a distinct type of restriction from ⋻
∌	Does Not Contain As Member	U+220C	The negated form of ∋ with a diagonal slash; explicitly states that a set does not contain a given element

Fun Facts

Here are a few things you might not know about the Contains With Vertical Bar At End Of Horizontal Stroke symbol and its relatives.

The Unicode Mathematical Operators Supplement block contains over 250 specialized symbols, and ⋻ is just one of many variants designed to handle edge cases in formal notation.
Giuseppe Peano, who introduced the original “element of” symbol ∈ in 1889, based it on the Greek letter epsilon; the entire family of set membership symbols traces back to that single design choice.
The vertical bar in mathematical notation has dozens of meanings depending on context, from absolute value to conditional probability to divisibility; its appearance in ⋻ adds yet another use to the list.
Most mathematicians will go their entire careers without needing this specific symbol, but for those working in certain branches of set theory and logic, it’s indispensable.

Frequently Asked Questions

What does the Contains With Vertical Bar At End Of Horizontal Stroke symbol mean?

The Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋻) indicates that a set contains a specific element under a qualifying condition or restriction. It’s a more precise variant of the standard “contains as member” symbol (∋).

How do I type the Contains With Vertical Bar At End Of Horizontal Stroke symbol on Windows?

In Microsoft Word or compatible apps, type 22FB and then press Alt + X to convert it into the ⋻ symbol. You can also open the Character Map, search for U+22FB, and copy the symbol from there.

What is the Unicode for the Contains With Vertical Bar At End Of Horizontal Stroke symbol?

The Unicode code point for the Contains With Vertical Bar At End Of Horizontal Stroke symbol is U+22FB. Its HTML entities are &xnis; and ⋻.

How is the Contains With Vertical Bar At End Of Horizontal Stroke symbol different from ∋?

The standard ∋ symbol means “contains as member” without any additional condition. The ⋻ symbol adds a vertical bar to indicate a qualified or restricted form of containment, making it more specific.

Can I use the Contains With Vertical Bar At End Of Horizontal Stroke symbol in HTML?

Yes. You can insert it into HTML using the named entity &xnis; or the numeric entity ⋻. Both will render the ⋻ character in any modern browser.

Where is the Contains With Vertical Bar At End Of Horizontal Stroke symbol used?

This symbol appears primarily in advanced set theory, formal logic proofs, type theory research, and academic mathematical publishing. It’s not used in everyday math or general writing.

How do screen readers handle the ⋻ symbol?

Screen readers may read the full Unicode name “contains with vertical bar at end of horizontal stroke” or may skip the symbol. Adding an aria-label or plain-text explanation nearby ensures accessibility for all readers.

Now You Know the Contains With Vertical Bar At End Of Horizontal Stroke Symbol

The Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋻) may be one of the most specialized characters in the Unicode standard, but it serves a real purpose for anyone working in advanced mathematics and formal logic. Now you know what it means, how to type it, and when to reach for it instead of the standard containment operator. If you know someone studying set theory or wrestling with mathematical typesetting, pass this article their way; they’ll thank you for it.

Contains With Long Horizontal Stroke Symbol (⋺) U+22FA Meaning, Copy and Paste, How to Type, and Uses

contains with long horizontal stroke symbol featured

You’ve probably never typed this symbol on purpose, but if you’ve spent any time reading advanced set theory or mathematical logic papers, you’ve seen it doing important work. The Contains With Long Horizontal Stroke symbol (⋺) is a specialized mathematical operator that tells you an element belongs to a set, with an added twist; a long horizontal stroke that modifies its meaning in precise logical contexts. It’s one of those quiet symbols that mathematicians rely on and everyone else walks right past. Let’s change that.

Symbol Snapshot

Here’s everything you need to know about the Contains With Long Horizontal Stroke symbol at a glance.

Detail	Value
Symbol	⋺
Name	Contains With Long Horizontal Stroke
Unicode	U+22FA
HTML Entity	⋺ or ⋺
Alt Code (Windows)	No standard Alt code; use character map or copy/paste
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; insert via Unicode input or symbol picker

What Is the Contains With Long Horizontal Stroke Symbol?

The Contains With Long Horizontal Stroke symbol (⋺) is a mathematical relation operator used in set theory and formal logic. It indicates that a set contains a particular element, functioning as a reversed and modified version of the classic “element of” symbol (∈). The long horizontal stroke adds a specific qualification to the containment relationship, distinguishing it from the plain “contains as member” symbol (∋). You’ll find it most often in advanced mathematical papers, formal proofs, and specialized typesetting systems like LaTeX.

Origin and History of the Contains With Long Horizontal Stroke Symbol

The story of the Contains With Long Horizontal Stroke symbol starts with the broader family of set membership notation. German mathematician Georg Cantor laid the groundwork for modern set theory in the 1870s and 1880s, but it was Giuseppe Peano who introduced the ∈ symbol in 1889. Peano borrowed the Greek lowercase epsilon (ε) and styled it to mean “is an element of,” creating one of the most recognizable symbols in mathematics.

Over the following century, mathematicians needed more nuanced ways to express relationships between elements and sets. The basic ∈ and its reverse ∋ (“contains as member”) weren’t always enough. Variants with strokes, bars, and other modifications emerged to capture subtle logical distinctions in formal proofs and advanced set-theoretic work.

The Contains With Long Horizontal Stroke symbol (⋺) was formalized as part of the Unicode Standard when the consortium expanded its mathematical operator blocks during the late 1990s and early 2000s. It was assigned to code point U+22FA within the Supplemental Mathematical Operators block (U+2A00-U+2AFF range area), joining dozens of other specialized set membership and relation symbols. This expansion made it possible for digital documents and typesetting systems to represent the full range of notation that mathematicians had been using in handwritten and printed work for decades.

Understanding the Unicode Designation

If you’re not familiar with Unicode, think of it as a giant master list that gives every character, letter, and symbol in the world its own unique ID number. The Contains With Long Horizontal Stroke symbol lives at U+22FA in this system. The “U+” prefix just means “Unicode,” and 22FA is the hexadecimal (base-16) number assigned to this specific symbol.

For web developers, the HTML entity codes are the fastest way to display this symbol on a webpage. You can use either the named entity ⋺ or the numeric entity ⋺ in your HTML code. Both will render the ⋺ character in any modern browser.

If you’re working in a system that accepts Unicode input directly, you can type the hex value 22FA and convert it. In Microsoft Word, for example, you’d type “22FA” and then press Alt + X to transform those characters into the ⋺ symbol. This Unicode-based approach works across platforms and applications, making it the most reliable way to insert the Contains With Long Horizontal Stroke symbol into any digital document.

Meanings and Uses of the Contains With Long Horizontal Stroke Symbol

Mathematics and Set Theory

The primary home of the Contains With Long Horizontal Stroke symbol (⋺) is set theory, where it expresses a modified containment relationship. In standard notation, the symbol ∋ means “contains as member,” telling you that a set has a specific element inside it. The added long horizontal stroke on ⋺ introduces a qualification or restriction to that containment.

Think of it this way: if ∋ says “this set contains that element,” then ⋺ says “this set contains that element, but with a specific condition attached.” The exact interpretation depends on the formal system being used, but the stroke consistently signals that the relationship isn’t a plain, unmodified membership claim. You’ll encounter this most often in papers dealing with modified set relations, restricted quantifiers, or specialized logical frameworks.

Formal Logic and Proof Writing

In formal logic, precision is everything. Logicians use the Contains With Long Horizontal Stroke symbol when they need to distinguish between different types of containment within a proof. A standard containment claim might not capture the full picture when working with conditional membership, restricted domains, or qualified set relations.

The symbol appears in formal proof systems where every operator must carry an unambiguous meaning. When a logician writes a proof involving multiple types of set membership, using ⋺ alongside ∋ and ∈ makes the distinctions visually clear on the page. This prevents misreadings that could invalidate an entire chain of reasoning.

Academic Publishing and Typesetting

The Contains With Long Horizontal Stroke symbol plays an important role in academic typesetting, particularly in LaTeX and similar systems used to prepare mathematical manuscripts. Publishers and journal editors rely on Unicode’s comprehensive set of mathematical operators to render papers exactly as authors intend them.

Before Unicode standardized this symbol, authors sometimes improvised by combining a ∋ with a manually placed horizontal bar. That workaround was fragile and inconsistent across different typesetting systems. Having ⋺ as a dedicated Unicode character means that a paper written in one system will display correctly in another, preserving the author’s intended meaning across platforms and formats.

Computer Science and Programming

While you won’t find ⋺ in everyday programming languages, it does appear in formal specifications and theoretical computer science papers. Researchers working on type theory, formal verification, and programming language semantics sometimes use specialized set membership symbols to define relationships between types, values, and domains.

In these contexts, the long horizontal stroke might indicate a restricted or conditional type membership. If a formal specification states that a value is contained in a type with certain constraints, ⋺ can express that relationship more precisely than the plain containment symbol.

How to Type the Contains With Long Horizontal Stroke Symbol

The Contains With Long Horizontal Stroke symbol isn’t sitting on your keyboard, but there are reliable ways to insert it on every major platform. Here’s how to get ⋺ into your documents.

Platform	Method	Steps
Windows	Unicode input in Word	Type 22FA, then press Alt + X
Windows	Character Map	Open Character Map, search for U+22FA, select and copy
Windows 11	Symbol picker	Press Win + . (period), search “contains,” and look for ⋺
Mac	Character Viewer	Press Control + Command + Space, search “contains” or browse Math Symbols
Chromebook	Unicode input	Enable Unicode input in settings, press Ctrl + Shift + U, type 22FA, press Enter
iOS	Copy and paste	Copy ⋺ from this page and paste where needed
Android	Copy and paste	Copy ⋺ from this page and paste where needed
HTML	Entity code	Use ⋺ or ⋺ in your source code
LaTeX	Command	Use a supplemental math symbols package with the appropriate command
Google Docs	Special characters	Go to Insert > Special characters, search “contains with long horizontal stroke”
Microsoft Word	Alt + X method	Type 22FA and immediately press Alt + X

For most people, copying and pasting the symbol directly from this page is the quickest option. If you work with mathematical notation regularly, learning the Word Alt + X trick or setting up LaTeX shortcuts will save you time in the long run.

Use It in a Sentence

Here are a few examples showing how the Contains With Long Horizontal Stroke symbol works in context.

“The set A ⋺ x indicates that A contains x under the specified restriction.”
“In this proof, we use ⋺ to distinguish conditional membership from standard containment (∋).”
“The formal specification defines T ⋺ v, meaning type T contains value v with the given constraints.”
“When typesetting the paper, replace the improvised bar-over-contains with the proper Unicode character ⋺ (U+22FA).”

Related Variants and Lookalike Symbols

Several symbols in the set membership family look similar to the Contains With Long Horizontal Stroke symbol. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∋	Contains as Member	U+220B	The plain “contains” symbol with no stroke modification; indicates simple, unqualified set membership
∈	Element Of	U+2208	Points the opposite direction; means “is an element of” rather than “contains”
∌	Does Not Contain as Member	U+220C	The negated version of ∋, with a diagonal slash indicating the set does not contain the element
⋺	Contains With Long Horizontal Stroke	U+22FA	This is the symbol covered in this article; the long stroke adds a qualification to the containment relationship
⋻	Element of With Long Horizontal Stroke	U+22FB	The reversed counterpart of ⋺; indicates element-of membership with a similar stroke modification
⋳	Element of With Vertical Bar at End of Horizontal Stroke	U+22F3	An element-of variant where a vertical bar caps the horizontal stroke, indicating a different type of restricted membership
⋶	Element of With Overbar	U+22F6	Features a bar above the element-of symbol rather than through it, signaling yet another distinct logical qualification

Each of these symbols carries a specific meaning in formal mathematics. Using the wrong one can change the logical content of a statement entirely, so it’s worth double-checking which variant you need before inserting it into a proof or paper.

When Not to Use the Contains With Long Horizontal Stroke Symbol

The ⋺ symbol is highly specialized, and using it in the wrong context can cause confusion. Avoid it in casual writing, business documents, or any non-mathematical content where readers won’t recognize it. In programming, stick to the syntax your language provides for set operations rather than inserting Unicode math symbols into code. If you’re writing for a general audience and need to express the idea of “contains,” just use the word itself.

Pronunciation and Accessibility

The Contains With Long Horizontal Stroke symbol is typically read aloud as “contains with long horizontal stroke” or simply described as “modified contains.” Screen readers may announce it by its full Unicode name, which is “contains with long horizontal stroke.” If you’re using this symbol in digital content, add an aria-label or nearby plain-text explanation so that assistive technology users understand the relationship being expressed. In academic papers, the surrounding notation and context usually make the meaning clear, but in web content, a brief parenthetical explanation helps everyone follow along.

Fun Facts

The Contains With Long Horizontal Stroke symbol has a few surprises tucked inside its story.

The HTML entity name ⋺ is one of the shortest named entities for a mathematical symbol. The “ni” comes from the reversed epsilon (∋, which is sometimes called “ni” in mathematical shorthand), and “sd” likely references the stroke or dash modification.
Giuseppe Peano, who created the original ∈ symbol in 1889, chose it because it was the first letter of the Greek word “ἐστί” (esti), meaning “is.” Every set membership symbol in the family traces back to that single design decision.
The Supplemental Mathematical Operators block in Unicode contains over 250 characters, and most of them are symbols that fewer than 1% of computer users will ever need. The ⋺ symbol is part of this exclusive club.
Before Unicode existed, mathematicians sometimes had to hand-draw specialized symbols like ⋺ onto printed pages because their typewriters and early word processors couldn’t produce them.

Frequently Asked Questions

What does the Contains With Long Horizontal Stroke symbol mean?

The Contains With Long Horizontal Stroke symbol (⋺) is a mathematical operator indicating that a set contains an element under a specific qualification or restriction. It’s a modified version of the standard “contains as member” symbol (∋).

How do I type the Contains With Long Horizontal Stroke symbol on Windows?

In Microsoft Word, type 22FA and then press Alt + X to convert it into the ⋺ symbol. You can also open the Windows Character Map, search for U+22FA, and copy the symbol from there.

What is the Unicode code point for ⋺?

The Unicode code point for the Contains With Long Horizontal Stroke symbol is U+22FA. It belongs to the Supplemental Mathematical Operators block in the Unicode Standard.

What is the HTML entity for the Contains With Long Horizontal Stroke symbol?

You can use either the named HTML entity ⋺ or the numeric entity ⋺ to display the ⋺ symbol on a webpage.

How is ⋺ different from ∋?

The plain ∋ symbol means “contains as member” with no additional conditions. The ⋺ symbol adds a long horizontal stroke that signals a modified or restricted containment relationship, making it more specific in formal mathematical contexts.

Can I use the Contains With Long Horizontal Stroke symbol in programming?

The ⋺ symbol isn’t part of any standard programming language syntax. In code, you should use your language’s built-in set operations instead. The symbol is meant for mathematical notation, formal proofs, and academic typesetting.

How do screen readers handle the ⋺ symbol?

Most screen readers will announce ⋺ by its Unicode name, “contains with long horizontal stroke.” For better accessibility, add an aria-label or a plain-text explanation near the symbol so all readers can understand its meaning.

Now You Know the Contains With Long Horizontal Stroke Symbol

The Contains With Long Horizontal Stroke symbol (⋺) might be one of the most niche characters in Unicode, but it plays a real role in keeping mathematical logic precise and unambiguous. Now you know what it means, where it comes from, and exactly how to type it on any device. If you know someone who works with set theory, formal proofs, or mathematical typesetting, pass this article their way; they’ll appreciate having all the details in one place.

Element Of With Two Horizontal Strokes Symbol (⋹) U+22F9 Meaning, Copy and Paste, How to Type, and Uses

element of with two horizontal strokes symbol featured

You’ve probably scrolled past this symbol in a dense math paper or a logic textbook without giving it a second thought. The Element Of With Two Horizontal Strokes symbol (⋹) is one of those quiet workhorses of advanced set theory; it looks like the familiar “element of” sign but carries extra information that mathematicians and logicians rely on. It tells the reader that membership in a set comes with a specific condition or additional structure. Let’s break down exactly what it means, how to type it, and where you’ll actually encounter it.

Symbol Snapshot

Here’s everything you need to know about the Element Of With Two Horizontal Strokes symbol at a glance.

Detail	Value
Symbol	⋹
Name	Element Of With Two Horizontal Strokes
Unicode	U+22F9
HTML Entity	⋹ or ⋹
Alt Code (Windows)	No standard Alt code; use character map or copy/paste
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; insert via Unicode input or copy/paste

What Is the Element Of With Two Horizontal Strokes Symbol?

The Element Of With Two Horizontal Strokes symbol (⋹) is a specialized set membership operator used in mathematics and formal logic. It indicates that an element belongs to a set under a particular condition or with additional structural emphasis, going beyond what the basic “element of” sign (∈) conveys.

You’ll find it most often in advanced set theory papers, mathematical logic, and formal proofs where precision about membership conditions matters. Think of it as the standard ∈ symbol with an extra layer of meaning baked right into its shape.

Pronunciation and Read-Aloud Note

When reading the Element Of With Two Horizontal Strokes symbol (⋹) aloud, most mathematicians say “is an element of” and then clarify the additional condition verbally. There is no single universally agreed-upon spoken phrase that distinguishes it from the standard ∈ in casual speech.

In a lecture or presentation, you might hear “is a conditional element of” or “is an element of, with the additional constraint that…” followed by the specific condition. Screen readers typically announce it by its full Unicode name, “element of with two horizontal strokes,” which is accurate but lengthy.

Origin and History of the Element Of With Two Horizontal Strokes

The story of the Element Of With Two Horizontal Strokes symbol starts with the original “element of” sign (∈), which the Italian mathematician Giuseppe Peano introduced in 1889. Peano borrowed the symbol from the Greek letter epsilon (ε), the first letter of the Greek word “ἐστί” (esti), meaning “is.” His goal was simple: create a compact, unambiguous way to say “belongs to” in formal mathematical writing.

As set theory grew more sophisticated through the 20th century, mathematicians needed ways to express finer distinctions about membership. The basic ∈ worked perfectly for plain statements like “x ∈ A” (x belongs to set A), but more complex logical frameworks required variants that could carry additional semantic weight.

The two horizontal strokes added to the element-of shape emerged as one of several extended membership symbols designed for these specialized contexts. These variants were formalized as part of the broader Unicode effort to catalog every mathematical symbol in active use. The Unicode Consortium assigned U+22F9 to this symbol when it standardized the Supplemental Mathematical Operators block, ensuring that digital documents could represent the full range of set-theoretic notation without resorting to workarounds or custom fonts.

Understanding the Unicode Designation

If you’re not familiar with Unicode, here’s the short version: it’s a universal system that assigns a unique number to every character, symbol, and emoji used in digital communication. Instead of each device or operating system inventing its own codes, Unicode gives everything a single, consistent identifier that works everywhere.

The Element Of With Two Horizontal Strokes symbol lives at code point U+22F9. The “U+” prefix just means “Unicode,” and 22F9 is the hexadecimal number that identifies this specific character. It sits in the Supplemental Mathematical Operators block, which spans U+2A00 to U+2AFF and houses dozens of specialized math symbols.

For web developers, the HTML entity codes are ⋹ (the named entity) or ⋹ (the numeric decimal entity). Either one will render the ⋹ symbol correctly in a browser. If you’re working in CSS, you can use the escape \22F9 inside a content property. These codes mean you never have to paste the raw symbol into your source code and hope it survives every text editor and build process along the way.

Meanings and Uses of the Element Of With Two Horizontal Strokes

Mathematics and Set Theory

The primary home of the Element Of With Two Horizontal Strokes symbol (⋹) is advanced set theory. In standard notation, ∈ simply states that an element belongs to a set. The ⋹ variant adds nuance; it signals that membership comes with an extra condition, constraint, or structural annotation.

For example, a logician might use ⋹ in a formal proof to distinguish between ordinary membership and membership that satisfies a particular property. This distinction matters in contexts like constructive set theory or type-theoretic foundations, where the nature of membership itself is under scrutiny. The two horizontal strokes serve as a visual cue that the reader should expect more than a plain “x belongs to A” statement.

Formal Logic and Proof Theory

In formal logic, precision isn’t optional; it’s the entire point. The ⋹ symbol appears in proof-theoretic contexts where authors need to differentiate between several flavors of set membership within the same document.

When a paper defines multiple membership relations (each with slightly different rules), using visually distinct symbols prevents ambiguity. The Element Of With Two Horizontal Strokes symbol gives authors one more tool in that toolkit. It’s especially useful in papers that deal with non-standard models of set theory, where the usual assumptions about what “belongs to” means may not hold.

Academic Publishing and Typesetting

If you work in academic typesetting, you’ve probably encountered the challenge of rendering obscure mathematical symbols correctly. The ⋹ symbol is supported in LaTeX through packages like amssymb and stmaryrd, which extend the default symbol set.

In digital publishing workflows, having a stable Unicode code point (U+22F9) means the symbol transfers cleanly between manuscript files, PDF output, and web-based journal platforms. This reliability is a big deal for publishers who handle thousands of math-heavy papers every year.

Computer Science and Type Theory

Type theory, which sits at the intersection of math and computer science, sometimes borrows extended set membership symbols to express relationships between types and their inhabitants. The ⋹ symbol can appear in formal specifications where a value “belongs to” a type under specific constraints.

Programming language researchers working on dependent types or refinement types may use this symbol in their formal definitions, even if it never shows up in actual source code. It’s a notation tool for the theory behind the code, not for the code itself.

When Not to Use the Element Of With Two Horizontal Strokes Symbol

The Element Of With Two Horizontal Strokes symbol (⋹) is highly specialized, and using it in the wrong context can confuse your readers or misrepresent your meaning. Here are the situations where you should reach for a different symbol instead.

Don’t use it for basic set membership. If you simply need to say “x belongs to set A” with no extra conditions, the standard ∈ (U+2208) is the right choice. Swapping in ⋹ implies an additional constraint that doesn’t exist, which could mislead anyone reading your proof or paper.

Don’t use it in general-audience writing. Blog posts, textbooks aimed at undergraduates, or any document where your readers aren’t already familiar with extended set-theoretic notation should avoid ⋹. Most readers will see it as a rendering error or an unfamiliar glyph and lose confidence in the text.

Don’t use it without defining it first. Even in advanced papers, you should explicitly state what ⋹ means in your notation section before using it in proofs. There is no single universal convention for this symbol’s precise semantics, so leaving it undefined invites misinterpretation.

How to Type the Element Of With Two Horizontal Strokes Symbol

Here’s how to insert the Element Of With Two Horizontal Strokes symbol (⋹) on every major platform.

Platform	Method	Steps
Windows	Character Map	Open Character Map, search for “element of with two horizontal strokes,” select the symbol, and click Copy
Windows	Unicode Input	In some apps, type `22F9` then press Alt + X to convert it to ⋹
Mac	Character Viewer	Press Control + Command + Space, search “element of,” and select ⋹
Chromebook	Unicode Input	Enable Unicode input in settings, then press Ctrl + Shift + U, type `22F9`, and press Enter
iPhone/iPad	Copy and Paste	Copy ⋹ from this page, then paste it wherever you need it
Android	Copy and Paste	Copy ⋹ from this page, then paste it into your document or message
Microsoft Word	Alt + X Method	Type `22F9` and immediately press Alt + X to convert it to ⋹
Google Docs	Special Characters	Go to Insert → Special characters, search “element of with two horizontal strokes,” and click the symbol
LaTeX	Command	Use `\isine` with the `amssymb` package, or check your package documentation for the exact command

The fastest method for most people is simply copying the symbol from this page using the copy button above. If you work in LaTeX or academic typesetting, the package command approach will serve you best.

Related Variants and Lookalike Symbols

The Element Of With Two Horizontal Strokes symbol belongs to a family of set membership operators. Here are the symbols you’re most likely to confuse it with, along with what makes each one different.

Symbol	Name	Unicode	How It Differs
∈	Element Of	U+2208	The standard set membership symbol with no additional strokes; states plain membership without extra conditions
∉	Not an Element Of	U+2209	A negated version of ∈ with a diagonal slash through it; means the element does not belong to the set at all
∊	Small Element Of	U+220A	A smaller, more compact rendering of the element-of sign used in inline or subscript mathematical text
⋳	Element Of With Vertical Bar at End of Horizontal Stroke	U+22F3	Adds a vertical bar at the tip of the horizontal stroke to indicate a different membership condition than ⋹
⋴	Small Element Of With Vertical Bar at End of Horizontal Stroke	U+22F4	A compact variant of ⋳ designed for tighter typographic contexts like subscripts or annotations
⋸	Element Of With Underbar	U+22F8	Features an underbar beneath the element-of shape, signaling yet another distinct membership relation
⋶	Element Of With Overbar	U+22F6	Carries an overbar above the element-of shape, used to mark a membership relation with a different qualifier than ⋹

These distinctions might seem subtle, but in formal mathematics, using the wrong variant can change the meaning of an entire proof. If you’re interested in the foundational “element of” sign that started it all, check out our guide to mathematical symbols for the full family.

Use It in a Sentence

Here are a few examples showing how the Element Of With Two Horizontal Strokes symbol (⋹) appears in context.

“If x ⋹ A, then x satisfies the additional property P defined on A.”
“The proof requires showing that every y ⋹ B also belongs to the closure of B under the given operation.”
“In this framework, ⋹ denotes conditional membership, while ∈ denotes unrestricted membership.”
“We write f(n) ⋹ S to indicate that f(n) is an element of S subject to the boundary constraint.”

Accessibility Note

Screen readers may announce the ⋹ symbol as “element of with two horizontal strokes” or simply read its Unicode name. In some cases, assistive technology may skip it entirely or read it as an unknown character.

If you’re writing for the web or creating accessible documents, add context around the symbol so the meaning is clear even without the visual. Using an aria-label attribute or placing a parenthetical explanation nearby ensures that every reader understands the notation, regardless of how their device handles the symbol.

Fun Facts

The Element Of With Two Horizontal Strokes symbol has a few surprises worth knowing.

Giuseppe Peano’s original ∈ symbol from 1889 spawned an entire subfamily of variants, and ⋹ is one of at least a dozen “element of” cousins living in the Unicode standard.
The Supplemental Mathematical Operators block where ⋹ lives contains over 250 symbols, making it one of the most densely packed corners of the Unicode chart.
Despite being a recognized Unicode character since the early 2000s, ⋹ still doesn’t render correctly in every font. If you see a blank box or a question mark instead of the symbol, your font simply doesn’t include it yet.
The named HTML entity &isinE; is one of the few mathematical HTML entities that uses a capital letter in its name, reflecting the “E” for the extra strokes.

Frequently Asked Questions

What does the Element Of With Two Horizontal Strokes symbol mean?

The Element Of With Two Horizontal Strokes symbol (⋹) indicates that an element belongs to a set with an additional condition or structural annotation beyond simple membership. It extends the meaning of the standard ∈ sign used in set theory.

How do I type the Element Of With Two Horizontal Strokes symbol on Windows?

On Windows, type 22F9 in a supported application like Microsoft Word, then press Alt + X to convert it into ⋹. You can also open Character Map, search for the symbol, and copy it from there.

What is the Unicode for the Element Of With Two Horizontal Strokes symbol?

The Unicode code point for the Element Of With Two Horizontal Strokes symbol is U+22F9. It belongs to the Supplemental Mathematical Operators block.

What is the HTML entity for the ⋹ symbol?

The HTML entity for the ⋹ symbol is &isinE; (named entity) or ⋹ (numeric decimal entity). Web developers can use either one to display the symbol in HTML documents.

How is the Element Of With Two Horizontal Strokes symbol different from ∈?

The standard ∈ symbol means “is an element of” with no additional qualifiers. The ⋹ symbol adds two horizontal strokes to indicate that membership carries an extra condition, constraint, or structural emphasis that the basic ∈ does not convey.

Can I type the ⋹ symbol on a Mac?

On a Mac, press Control + Command + Space to open the Character Viewer, then search for “element of” and select the ⋹ symbol from the results. You can also copy and paste it directly from this page.

Where is the Element Of With Two Horizontal Strokes symbol used?

The ⋹ symbol appears primarily in advanced set theory, formal logic, proof theory, and type-theoretic research. It’s used in academic papers and formal specifications where authors need to distinguish between different kinds of set membership within the same document.

Now You Know the Element Of With Two Horizontal Strokes Symbol

The Element Of With Two Horizontal Strokes symbol (⋹) might be one of the most specialized characters in the Unicode standard, but it plays a real role in the precision-driven world of mathematics and logic. Now you know what it means, where it comes from, and exactly how to type it on any device. If you know someone who works with set theory or formal proofs, pass this article their way; they’ll appreciate having all the details in one place.

Element Of With Underbar Symbol (⋸) U+22F8 Meaning, Copy and Paste, How to Type, and Uses

element of with underbar symbol featured

You’ve probably never typed this symbol, but if you’ve spent time reading advanced set theory or mathematical logic papers, you may have spotted it tucked into a proof. The Element Of With Underbar symbol (⋸) is a specialized member of the set membership family, and it carries a meaning that goes beyond the standard “element of” sign most people learn in school. It tells you not just that something belongs to a set, but adds a specific condition underneath that membership claim. Let’s break down everything you need to know about this symbol; what it means, where it shows up, how to type it, and why it matters.

Symbol Snapshot

Here’s everything you need to know about the Element Of With Underbar symbol at a glance.

Detail	Value
Symbol	⋸
Name	Element Of With Underbar
Unicode	U+22F8
HTML Entity	⋸
Alt Code (Windows)	No standard Alt code; use character map or copy/paste
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; use Unicode input or copy/paste

What Is the Element Of With Underbar Symbol

The Element Of With Underbar symbol (⋸) is a mathematical operator that expresses set membership with an additional underbar condition. In plain terms, it says “this element belongs to that set” while the underbar beneath the standard ∈ sign signals a further qualification or constraint on that membership. You’ll find it primarily in advanced set theory, mathematical logic, and formal proof systems where precise notation matters.

Origin and History of the Element Of With Underbar Symbol

The story of the Element Of With Underbar symbol starts with its parent character, the standard “element of” sign (∈). That symbol was introduced by the Italian mathematician Giuseppe Peano in 1889, drawn from the Greek letter epsilon (ε) as shorthand for the Italian word “è,” meaning “is.” Peano’s notation revolutionized how mathematicians talked about sets, and it became one of the most recognizable marks in all of mathematics.

As set theory grew more complex through the 20th century, mathematicians needed ways to express finer distinctions. Adding bars, dots, or other modifiers to existing symbols became a common strategy for creating new operators without inventing entirely new characters. The underbar beneath the ∈ sign emerged as one such modification, signaling a specific type of qualified membership.

When the Unicode Consortium began cataloging mathematical symbols for digital encoding, the Element Of With Underbar symbol earned its own code point at U+22F8. It was included in the “Mathematical Operators” and “Supplemental Mathematical Operators” blocks to ensure that researchers and publishers could represent these specialized notations accurately in digital documents. This formalization meant that a symbol once limited to handwritten proofs and specialized typesetting could now appear consistently across any platform or device.

Understanding the Unicode Designation

If you’re not familiar with Unicode, think of it as a massive universal dictionary for every character used in human writing, from the letter “A” to obscure mathematical operators like ⋸. Each character gets a unique code point, which is just a number that identifies it across every computer, phone, and operating system on the planet.

The Element Of With Underbar symbol (⋸) lives at code point U+22F8. The “U+” prefix tells you it’s a Unicode value, and “22F8” is the hexadecimal number assigned to this specific character. In the Unicode character charts, you’ll find it grouped with other supplemental mathematical operators.

For web developers who need to display this symbol in HTML, the entity code is ⋸. You can drop that directly into your HTML source code, and the browser will render the ⋸ character. There’s no named HTML entity (like &) for this symbol, so the numeric entity is your go-to option. In CSS, you can reference it using the escape \22F8, and in JavaScript, the Unicode escape \u22F8 works inside strings.

Meanings and Uses of the Element Of With Underbar Symbol

Set Theory and Mathematical Logic

The primary home of the Element Of With Underbar symbol (⋸) is advanced set theory. In this context, the underbar modifies the standard membership relation (∈) to indicate a qualified or conditional form of belonging. The exact interpretation can vary depending on the author or the formal system being used, but the core idea remains consistent; the element’s membership in the set comes with an additional stipulation.

You’ll encounter this symbol most often in research papers, graduate-level textbooks, and formal proof systems where standard notation isn’t precise enough. Logicians working with models, forcing arguments, or non-standard set theories may use ⋸ to distinguish between ordinary membership and membership under specific constraints. It’s the kind of symbol that shows up when a mathematician needs to say “yes, this belongs, but with a caveat.”

Academic Publishing and Typesetting

The Element Of With Underbar symbol plays an important role in academic typesetting. Before Unicode standardized it, authors had to improvise using custom fonts, LaTeX macros, or hand-drawn additions to printed proofs. Now, with U+22F8 available in Unicode-compliant fonts, publishers and researchers can include the symbol directly in digital manuscripts.

In LaTeX, the most popular typesetting system for mathematics, this symbol can be produced using packages like amssymb or unicode-math. Having a dedicated Unicode code point means the symbol renders consistently across PDF viewers, web browsers, and e-readers, which matters enormously for the accuracy of published research.

Computer Science and Formal Verification

Formal verification is the process of using mathematical methods to prove that software or hardware behaves correctly. In this field, set membership operators, including modified versions like ⋸, appear in specifications and proofs. When a verification engineer writes a formal specification, every symbol must carry an unambiguous meaning.

The Element Of With Underbar symbol can appear in formal languages and specification documents where the standard ∈ isn’t specific enough. It helps distinguish between different types of membership relations within the same proof or specification, reducing the risk of ambiguity.

Notation in Order Theory and Lattice Theory

Some branches of mathematics, particularly order theory and lattice theory, use modified membership symbols to express relationships between elements and structured sets. The underbar can indicate that the membership relation respects a particular ordering or that the element satisfies a lower-bound condition within the set.

This usage is highly specialized, but it illustrates how a small visual modification to a familiar symbol can carry significant mathematical weight. If you’re reading a paper on lattices or partially ordered sets and spot ⋸, the underbar is doing real work in the argument.

How to Type the Element Of With Underbar Symbol

Here’s how to get the Element Of With Underbar symbol (⋸) onto your screen across different platforms.

Platform	Method	Steps
Windows	Character Map	Open Character Map, search for “element of with underbar” or navigate to U+22F8, select and copy
Windows	Alt + X (Word)	Type `22F8` then press Alt + X to convert it to ⋸
Mac	Character Viewer	Press Control + Command + Space, search “element of” or enter the Unicode value, then insert
Chromebook	Unicode input	Enable Unicode input in settings, then type Ctrl + Shift + U, type `22F8`, press Enter
iOS	Copy/Paste	Copy ⋸ from this page and paste where needed; or add a text replacement shortcut in Settings
Android	Copy/Paste	Copy ⋸ from this page and paste; some keyboards support Unicode input via long-press options
Google Docs	Special Characters	Go to Insert > Special Characters, search “element of with underbar” or draw the symbol
LaTeX	Command	Use `\in` with underbar packages, or input directly with `unicode-math` package support

The fastest method for most people is simply copying the symbol from this page using the copy button above and pasting it wherever you need it.

Use It in a Sentence

Here are a few examples showing how the Element Of With Underbar symbol (⋸) appears in context.

“If x ⋸ S, then x satisfies the lower-bound condition within set S.”
“The proof requires showing that every element a ⋸ T meets the additional constraint defined in Lemma 3.”
“In this formal specification, we write p ⋸ Q to distinguish qualified membership from standard membership (p ∈ Q).”
“The notation a ⋸ B indicates that a belongs to B under the restricted interpretation.”

When Not to Use the Element Of With Underbar Symbol

The Element Of With Underbar symbol (⋸) is not a general-purpose replacement for the standard “element of” sign (∈). If you’re writing a basic math equation, a homework assignment, or any document where standard set membership is all you need, stick with ∈. Using ⋸ in those contexts will confuse your reader.

Avoid using this symbol in programming code unless your language and environment explicitly support it as an operator. Most programming languages don’t recognize ⋸, and inserting it into source code will likely cause errors. Also, keep it out of business documents, legal filings, and everyday writing where mathematical notation isn’t expected.

Related Variants and Lookalike Symbols

Several symbols look similar to the Element Of With Underbar symbol or belong to the same family. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∈	Element Of	U+2208	The standard set membership symbol with no additional modifier; says “belongs to” without any qualification
∉	Not an Element Of	U+2209	Indicates that an item does not belong to a set; the diagonal stroke negates the membership claim entirely
∋	Contains as Member	U+220B	Reverses the direction of the membership relation; the set is on the left and the element is on the right
⋳	Element Of With Vertical Bar at End of Horizontal Stroke	U+22F3	Adds a vertical bar to the horizontal stroke of ∈ rather than an underbar; signals a different type of modification
⋵	Element Of With Dot Above	U+22F5	Places a dot above the ∈ sign to indicate a specific conditional membership distinct from the underbar variant
⋶	Element Of With Overbar	U+22F6	Uses an overbar instead of an underbar; the bar sits above the ∈ sign, indicating a different qualification
⋷	Small Element Of With Overbar	U+22F7	A smaller version of the element-of-with-overbar symbol; used in some notational systems for inline expressions

If you’re interested in the broader world of mathematical notation, check out our guide to mathematical symbols for a full overview of the family.

Pronunciation and Reading

When reading the Element Of With Underbar symbol (⋸) aloud, mathematicians typically say “is an element of, with underbar” or “element of, underbar.” In a lecture or presentation, you might also hear “belongs to, with the underbar condition” or simply a description of the qualified membership being expressed.

Accessibility Note

Screen readers may announce this symbol as “element of with underbar” or read its Unicode name. Because this symbol is uncommon, some assistive technologies may skip it or read the raw code point instead. If you’re publishing content that includes ⋸, add nearby plain-text context so the meaning is clear even if the symbol isn’t announced correctly. Web developers should consider using an aria-label attribute when the symbol appears in interactive elements. The W3C Web Accessibility Initiative offers guidance on making mathematical content accessible.

Fun Facts

The Element Of With Underbar symbol has a few surprises worth knowing.

Giuseppe Peano’s original “element of” symbol (∈) was just a stylized epsilon, but it spawned an entire family of modified membership symbols. The underbar variant is one of at least a dozen relatives in Unicode.
The Unicode block that contains ⋸ (Supplemental Mathematical Operators, U+2A00-U+2AFF and nearby ranges) holds over 250 specialized math symbols. Most people will never use more than a handful of them.
Before Unicode existed, mathematicians who needed symbols like ⋸ had to commission custom typefaces or draw them by hand on printed manuscripts. A single unusual symbol could delay publication by weeks.
The underbar as a modifier has a long history in mathematics and linguistics. In some phonetic transcription systems, an underbar changes the pronunciation of a letter, just as it changes the meaning of ∈ in set theory.

Frequently Asked Questions

What does the Element Of With Underbar symbol mean?

The Element Of With Underbar symbol (⋸) means that an element belongs to a set with an additional qualification or constraint indicated by the underbar beneath the standard ∈ sign.

How do I type the Element Of With Underbar symbol on Windows?

In Microsoft Word, type 22F8 and then press Alt + X to convert it into ⋸. You can also open the Character Map utility, search for the symbol, and copy it from there.

What is the Unicode code point for the Element Of With Underbar symbol?

The Unicode code point for the Element Of With Underbar symbol is U+22F8, and its official Unicode name is ELEMENT OF WITH UNDERBAR.

What is the HTML entity for the Element Of With Underbar symbol?

The HTML entity for this symbol is ⋸, which you can place directly in your HTML source code to display ⋸ in a web browser.

How is the Element Of With Underbar symbol different from the regular Element Of symbol?

The regular Element Of symbol (∈) at U+2208 expresses simple set membership. The Element Of With Underbar symbol (⋸) adds an underbar to indicate a qualified or conditional form of that membership.

Where is the Element Of With Underbar symbol used?

This symbol appears primarily in advanced set theory, mathematical logic, formal verification, and academic publishing where standard set membership notation needs additional precision.

Can I use the Element Of With Underbar symbol in programming?

Most programming languages don’t recognize ⋸ as an operator. It’s best used in mathematical documents, LaTeX files, and formal specifications rather than in source code.

Now You Know the Element Of With Underbar Symbol

The Element Of With Underbar symbol (⋸) is one of those quiet, specialized characters that does serious work in the right context. You now know what it means, where it comes from, how to type it on any device, and when to reach for it instead of the standard ∈. If you know someone studying set theory, working in formal verification, or just curious about the hidden corners of mathematical notation, pass this article their way.

Small Element Of With Overbar Symbol (⋷) U+22F7 Meaning, Copy and Paste, How to Type, and Uses

small element of with overbar symbol featured

You’ve probably never typed this symbol on purpose, but if you’ve spent time reading advanced set theory or mathematical logic, you’ve almost certainly seen it. The Small Element Of With Overbar symbol (⋷) is a specialized mathematical mark that communicates a very specific idea: an element belongs to a set, but with an additional condition indicated by the overbar. It’s one of those quiet symbols that does serious work in formal mathematics, and understanding it can save you real confusion when you’re reading proofs or working through notation-heavy textbooks. Let’s break it down.

Symbol Snapshot

Here’s everything you need to know about the Small Element Of With Overbar symbol at a glance.

Detail	Value
Symbol	⋷
Name	Small Element Of With Overbar
Unicode	U+22F7
HTML Entity	⋷ or ⋷
Alt Code (Windows)	No standard Alt code; use character map or copy/paste
Category	Mathematical Symbols
On Keyboard	Not on standard keyboards; insert via Unicode input or character picker

What Is the Small Element Of With Overbar Symbol

The Small Element Of With Overbar symbol (⋷) is a mathematical operator used in set theory and formal logic. It represents a modified form of set membership, combining the familiar “element of” concept with an overbar that signals negation or a specific constraint on the membership relation.

You’ll find it most often in advanced mathematical papers and specialized typesetting where standard membership symbols like ∈ need additional nuance. Think of it as a more precise cousin of the basic “element of” sign, built for situations where ordinary notation isn’t specific enough.

Origin and History of the Small Element Of With Overbar Symbol

Set membership notation has deep roots in mathematics. The original “element of” symbol (∈) was introduced by Giuseppe Peano in 1889, drawn from the first letter of the Greek word “ἐστί” (esti), meaning “is.” Peano’s symbol became the foundation for an entire family of related marks that mathematicians developed over the following century.

As set theory grew more complex through the 20th century, mathematicians needed ways to express finer distinctions in membership relations. The overbar, a horizontal line placed above a symbol, has a long history in mathematics as a marker of negation, closure, or complementation. Combining the “element of” concept with an overbar created a compact way to express these modified relationships without writing out lengthy verbal descriptions.

The “small” variant in the Small Element Of With Overbar symbol (⋷) refers to its typographic size relative to other membership operators. Unicode formalized this symbol as part of its mathematical operators block, giving it a permanent code point and ensuring it could be rendered consistently across digital platforms. This standardization was part of a broader effort to bring the full range of mathematical notation into the digital age.

Understanding the Unicode Designation

If you’re not familiar with Unicode, here’s the short version: it’s a universal system that assigns a unique number to every character, symbol, and emoji used in digital communication. Instead of each device or software inventing its own way to display symbols, Unicode gives everyone a shared reference point.

The Small Element Of With Overbar symbol lives at U+22F7 in the Unicode standard. That “U+” prefix tells you it’s a Unicode code point, and “22F7” is the hexadecimal number that identifies this specific symbol. It sits within the Supplemental Mathematical Operators block (U+2A00 to U+2AFF range area), alongside dozens of other specialized math symbols.

For web developers, the HTML entity codes are just as important. You can insert the Small Element Of With Overbar symbol into a webpage using either the named entity &notinvb; or the numeric entity ⋷. Both produce the same result: the ⋷ character rendered right in your HTML. The W3C’s character reference documentation provides more detail on how HTML entities work for mathematical symbols.

Meanings and Uses of the Small Element Of With Overbar Symbol

Set Theory and Mathematical Logic

The primary home of the Small Element Of With Overbar symbol (⋷) is set theory. In this context, the overbar modifies the basic membership relation to indicate a constrained or negated form of belonging. Depending on the specific convention used by the author, it can signal that an element’s membership in a set carries an additional qualification.

Mathematicians working with formal proofs use this symbol to avoid ambiguity. When you’re dealing with complex nested sets or conditional membership, having a single compact symbol beats writing out a paragraph of explanation every time.

Academic Publishing and Typesetting

You’ll encounter the ⋷ symbol in academic journals, textbooks, and conference papers focused on pure mathematics and theoretical computer science. Publishers who use LaTeX for mathematical typesetting rely on Unicode-compatible fonts to render symbols like this one correctly.

The symbol helps authors maintain clean, readable notation in papers where space is tight and precision matters. Without it, writers would need to use workarounds like combining characters or adding footnotes to clarify their meaning.

Theoretical Computer Science

Computer scientists working on formal verification, type theory, and programming language semantics sometimes borrow set-theoretic notation for their proofs. The Small Element Of With Overbar symbol can appear in papers about type membership, where the overbar indicates a specific constraint on how a value relates to a type or set.

This usage is less common than in pure mathematics, but it shows up often enough in theoretical CS literature that recognizing it is useful if you’re reading papers in that field.

Digital Document Preparation

Anyone preparing mathematical documents for digital distribution needs to know how to insert this symbol correctly. If you’re writing a thesis, creating course materials, or preparing a manuscript for peer review, the ⋷ symbol must render properly across different PDF viewers, web browsers, and operating systems.

Using the correct Unicode code point (U+22F7) or HTML entity (&notinvb;) ensures your document displays the intended symbol rather than a blank box or question mark.

How to Type the Small Element Of With Overbar Symbol

The Small Element Of With Overbar symbol isn’t sitting on any standard keyboard, so you’ll need to use one of these methods depending on your platform.

Platform	Method	Steps
Windows	Unicode Input	In apps that support it, type 22F7 then press Alt + X to convert
Windows	Character Map	Open Character Map, search for “small element of with overbar,” select and copy
Windows 11	Emoji/Symbol Picker	Press Win + . (period), click the symbols tab, and search for the symbol
Mac	Character Viewer	Press Control + Command + Space, search “element of,” and select ⋷
Chromebook	Unicode Input	Press Ctrl + Shift + U, type 22F7, then press Enter
iPhone/iPad	Copy and Paste	Copy ⋷ from this page and paste where needed
Android	Copy and Paste	Copy ⋷ from this page and paste where needed
Microsoft Word	Alt + X Method	Type 22F7 then press Alt + X
Google Docs	Special Characters	Go to Insert > Special characters, search “element of with overbar”
LaTeX	Command	Use a package like `unicode-math` and input the character directly, or use a custom command

The fastest method for most people is simply copying the symbol from this page using the copy button above and pasting it wherever you need it.

Use It in a Sentence

Here are a few examples showing how the Small Element Of With Overbar symbol fits into real contexts.

“If x ⋷ S, then the membership of x in S is subject to the closure condition defined above.”
“The notation ⋷ distinguishes constrained membership from standard set inclusion in this proof.”
“Students should note that ⋷ is not interchangeable with ∈ or ∉ in formal proofs.”
“When preparing your manuscript, use U+22F7 (⋷) to ensure the symbol renders correctly across all platforms.”

Pronunciation Note

The Small Element Of With Overbar symbol (⋷) is typically read aloud as “small element of with overbar” in formal mathematical discussion. Some mathematicians may shorten this to “element of bar” or describe it contextually based on the specific meaning in their proof.

There’s no universally agreed-upon short pronunciation, so context matters. If you’re presenting a proof, it helps to define how you’ll read the symbol aloud before using it repeatedly.

Accessibility Note

Screen readers may announce this symbol as “small element of with overbar” or read its Unicode name. However, many assistive technologies struggle with specialized mathematical symbols and may skip it entirely or read it as “unknown character.”

If you’re writing for the web or creating accessible documents, add a plain-language explanation near the symbol so readers using screen readers can follow the meaning. Using an aria-label attribute in HTML is another good practice for developers who want to ensure the symbol is announced correctly.

When Not to Use the Small Element Of With Overbar Symbol

The ⋷ symbol is highly specialized, and using it in the wrong context can cause confusion.

Don’t use it as a general “not an element of” symbol. The standard “not an element of” symbol is ∉ (U+2209). The Small Element Of With Overbar symbol carries a different, more specific meaning.

Avoid it in informal writing. If your audience isn’t familiar with advanced set-theoretic notation, this symbol will be meaningless to them. Spell out the relationship in words instead.

Skip it in programming code. Most programming languages don’t recognize ⋷ as an operator. Use language-specific syntax for set operations instead.

Be cautious in mixed-font documents. Not all fonts include this character. If your document uses a font that lacks U+22F7, readers will see a blank box or a replacement character.

Related Variants and Lookalike Symbols

Several symbols look similar to the Small Element Of With Overbar symbol or serve related purposes. Here’s how to tell them apart.

Symbol	Name	Unicode	How It Differs
∈	Element Of	U+2208	The standard set membership symbol with no modification; indicates simple membership without any overbar constraint
∉	Not an Element Of	U+2209	Uses a diagonal stroke through the element-of sign to indicate non-membership, which is a different concept from the overbar modification
⋶	Element of With Overbar	U+22F6	A full-sized variant of the membership-with-overbar concept; the “small” version (⋷) is typographically smaller for use in subscripts or compact notation
∊	Small Element Of	U+220A	A smaller typographic variant of the basic element-of symbol; lacks the overbar entirely
⋸	Small Contains With Overbar	U+22F8	Reverses the direction of the relationship; indicates that a set contains an element with an overbar condition, rather than an element belonging to a set
∋	Contains as Member	U+220B	Points the opposite direction from ∈, indicating that a set contains a given element; no overbar or size modification

Fun Facts

Here are a few things about the Small Element Of With Overbar symbol that might surprise you.

The overbar in mathematics has been used since at least the medieval period, when scribes placed lines over Roman numerals to multiply their value by 1,000. The same visual concept now serves a completely different purpose in set theory.

Unicode’s Supplemental Mathematical Operators block contains over 250 symbols, and most people will never use more than a handful of them. The ⋷ symbol is one of the rarest in everyday use but one of the most precise in its meaning.

Giuseppe Peano, who created the original ∈ symbol, was also a pioneer of constructed languages. He invented a language called Latino sine flexione, a simplified form of Latin designed for international scientific communication.

The HTML entity name for this symbol, &notinvb;, is one of the longest named entities in the HTML specification. It stands for “not in v b,” referencing the symbol’s relationship to the “element of” family with a vertical bar modification.

Frequently Asked Questions

What does the Small Element Of With Overbar symbol mean?

The Small Element Of With Overbar symbol (⋷) represents a modified set membership relation in mathematics. The overbar adds a constraint or negation to the basic “element of” concept, and the “small” designation refers to its compact typographic size.

How do I type the Small Element Of With Overbar symbol on Windows?

In Microsoft Word or compatible apps, type 22F7 and then press Alt + X to convert it into the ⋷ symbol. You can also open the Windows Character Map, search for the symbol, and copy it from there.

What is the Unicode for the Small Element Of With Overbar symbol?

The Unicode code point for the Small Element Of With Overbar symbol is U+22F7. Its official Unicode name is SMALL ELEMENT OF WITH OVERBAR.

What is the HTML entity for the Small Element Of With Overbar symbol?

You can use either the named entity &notinvb; or the numeric entity ⋷ to display the ⋷ symbol in HTML.

Is the Small Element Of With Overbar symbol the same as “not an element of”?

No. The “not an element of” symbol is ∉ (U+2209), which uses a diagonal stroke. The Small Element Of With Overbar symbol (⋷) uses an overbar, which carries a different mathematical meaning related to constrained or qualified membership.

Can I use the Small Element Of With Overbar symbol in programming?

Most programming languages don’t recognize ⋷ as a built-in operator. For set operations in code, use language-specific syntax like Python’s in keyword or JavaScript’s Set.has() method instead.

How do screen readers handle the Small Element Of With Overbar symbol?

Screen readers may announce it by its Unicode name or skip it entirely. If you’re publishing content with this symbol, add plain-language context nearby so the meaning is clear for all readers.

Now You Know the Small Element Of With Overbar Symbol

The Small Element Of With Overbar symbol (⋷) might be one of the most specialized characters in the Unicode standard, but it plays a real role in advanced mathematics and formal logic. Now you know what it means, where it comes from, and exactly how to type it on any device. If you know someone who works with set theory notation or mathematical typesetting, pass this article their way; they’ll appreciate having all the details in one place.

+ More