Small Contains with Overbar

The Mathematical Symbol "Small Contains with Overbar (⋾)"

The "Small Contains with Overbar" Symbol (⋾)

The ⋾ symbol, or "Small Contains with Overbar," is a mathematical notation that represents the negation of the "small contains as member" relation. The overbar implies a negation or "not" in many mathematical contexts, which means that one set or element does not contain the other.

Understanding the Symbol

Visually, the ⋾ symbol can be described as a small "contains" symbol with an overbar on top. It's a way to negate the relationship that one element or set is a member or subset of another. Essentially, it's a way to say "does not contain as a member."

Usage

This symbol can be used in set theory, logic, or other mathematical disciplines where the concept of membership is discussed. When you see ⋾, it indicates a non-membership relation between the elements or sets in question.

For instance, if you have two sets or elements A and B, and A is not a member of B, you might express this as:

\( A \notnivb B \)

Example

Let's say we have a universal set U and a subset A.

If a particular element, x, is not in subset A, then the relation can be represented as:

x ⋾ A

Typing ⋾

In digital platforms or documents that support HTML entities, typing the ⋾ entity will display the "Small Contains with Overbar" symbol. The exact appearance of this symbol may differ based on the chosen font and the platform you're working on. In other contexts or software, you might need a specific keyboard shortcut or a different method to input the symbol.

Related Symbols

The world of set theory and logic has numerous symbols, some of which are related to ⋾, such as:

• ∉ (Element not in the set)
• ⊄ (Not a subset of)

Conclusion

The ⋾ symbol serves a vital role in mathematics, especially in set theory, to denote the non-membership of an element in a set or a relation. Being familiar with this and related symbols can aid in understanding complex mathematical relationships and expressions.

Are You Good at Mathematical Symbols?

Do you know, or can you guess, the technical symbols? Well, let's see! Show Instructions

Codes for the ⋾ Symbol

The Symbol	⋾	copy
Alt Code	Alt 8958	copy
HTML Code	⋾	copy
HTML Entity	⋾	copy
CSS Code	\22FE	copy
Hex Code	⋾	copy
Unicode	U+22FE	copy

How To Insert the ⋾ Symbol

(Method 1) Copy and paste the symbol.

The easiest way to get the ⋾ symbol is to copy and paste it into your document.

Bear in mind that this is a UTF-8 encoded character. It must be encoded as UTF-8 at all stages (copying, replacing, editing, pasting), otherwise it will render as random characters or the dreaded �.

(Method 2) Use the "Alt Code."

If you have a keyboard with a numeric pad, you can use this method. Simply hold down the Alt key and type 8958. When you lift the Alt key, the symbol appears. ("Num Lock" must be on.)

(Method 3) Use the HTML Decimal Code (for webpages).

HTML Text	Output
<b>My symbol: &#8958;</b>	My symbol: ⋾

(Method 4) Use the HTML Entity Code (for webpages).

HTML Text	Output
<b>My symbol: &notnivb;</b>	My symbol: ⋾

(Method 5) Use the CSS Code (for webpages).

CSS and HTML Text	Output
<style> span:after { content: "\22FE";} </style> <span>My symbol:</span>	My symbol: ⋾

(Method 6) Use the HTML Hex Code (for webpages and HTML canvas).

HTML Text	Output
<b>My symbol: &#x22FE;</b>	My symbol: ⋾

On the assumption that you already have your canvas and the context set up, use the Hex code in the format 0x22FE to place the ⋾ symbol on your canvas. For example:

JavaScript Text
const x = "0x"+"E9" ctx.fillText(String.fromCodePoint(x), 5, 5);
Output
⋾

(Method 7) Use the Unicode (for various, e.g. Microsoft Office, JavaScript, Perl).

The Unicode for ⋾ is U+22FE. The important part is the hexadecimal number after the U+, which is used in various formats. For example, in Microsoft Office applications (e.g. Word, PowerPoint), do the following:

Type	Output
22FE [Hold down Alt] [Press x]	⋾ (The 22FE turns into ⋾. Note that you can omit any leading zeros.)

In JavaScript, the syntax is \uXXXX. So, our example would be \u22FE. (Note that the format is 4 hexadecimal characters.)

JavaScript Text	Output
let str = "\u22FE" document.write("My symbol: " + str)	My symbol: ⋾