How to type ⋠ on Windows
The fastest method on a full-size keyboard is the Alt code Alt+8928.
- Make sure Num Lock is on.
- Hold down the Alt key.
- Type 8928 on the numeric keypad (the number row will not work).
- Release Alt. The does not precede or equal symbol ⋠ appears.
Note: Alt+8928 is a Unicode decimal code, not a classic code-page Alt code. It works in Microsoft Word, WordPad and some other apps, but not in Notepad or most browsers. In those apps, copy the symbol from this page instead.
No numeric keypad?
Press Win+. to open the emoji panel, choose the Symbols tab (Ω) and search for "does not precede or equal". Or open Character Map from the Start menu, find ⋠, click Select, then Copy.
How to type ⋠ on a Mac
There is no direct keyboard shortcut for ⋠ on a Mac.
For any symbol, the Character Viewer works: press Control+⌘+Space, type "does not precede or equal" in the search box and double-click the result. It will be remembered under Frequently Used.
How to type ⋠ on iPhone and iPad
The iOS keyboard does not include ⋠, so the reliable way is to copy it from this page, then press and hold in any text field and tap Paste.
If you use it often, create a shortcut: open Settings → General → Keyboard → Text Replacement, paste ⋠ in the Phrase field and type a short code such as ;does in the Shortcut field. Typing that code will then insert ⋠ anywhere.
How to type ⋠ on Android
Copy the symbol from this page, then long-press in a text field and choose Paste. Gboard also keeps a clipboard history: tap the clipboard icon on the toolbar to paste it again later.
For a permanent shortcut, open Gboard settings → Dictionary → Personal dictionary, add ⋠ as the word and a short code as the shortcut.
How to type ⋠ in Microsoft Word
- Type the Unicode hex code 22E0 where you want the symbol.
- Press Alt+X. Word converts the code into ⋠.
This works on Windows in Word, Outlook and OneNote and needs no numeric keypad. You can also go to Insert → Symbol → More Symbols, set the font to a Unicode font and type 22E0 in the Character code box. In Excel, the formula =UNICHAR(8928) returns the symbol.
How to type ⋠ in Google Docs
Open Insert → Special characters, then either search for "does not precede or equal" or draw the symbol in the sketch box. Click the result to insert it. In Google Sheets, use =CHAR(8928).
⋠ in HTML, CSS and code
| Format | Code |
|---|---|
| HTML entity | ⋠ |
| HTML decimal | ⋠ |
| HTML hex | ⋠ |
CSS content | "\22E0" |
| JavaScript | "\u22E0" |
| Python | "\u22E0" |
| URL encoded | %E2%8B%A0 |
Because ⋠ is a standard Unicode character (U+22E0), you can also paste it directly into any UTF-8 file. The escaped forms above are only needed when the file encoding is uncertain or the symbol must be entered on a keyboard without it.
Where the does not precede or equal symbol is used
Used in order theory and set theory to state that a preceding-or-equal relation fails to hold, as in a ⋠ b within a partial order. It appears in proofs and lecture notes discussing preorders, and is easily confused with the plain 'does not precede' symbol ⊀, which omits the equality case.
Frequently asked questions
What does ⋠ mean in math? +
It states that in a given ordering, one element does not come before another and is also not equal to it, i.e., a ⋠ b.
How is ⋠ different from ≺ or ⊀? +
≺ means 'precedes,' ⊀ means 'does not precede,' and ⋠ specifically negates 'precedes or equals,' so it also rules out equality.
What is the Alt code for the does not precede or equal symbol? +
The Alt code for ⋠ is Alt+8928. Hold Alt, type 8928 on the numeric keypad, then release Alt. This is a Unicode code, so it works in Word and WordPad but not in every app; in other apps paste the symbol instead.
How do I type ⋠ on a Mac? +
There is no dedicated Mac shortcut for ⋠. Open the Character Viewer with Control + Command + Space, search for "does not precede or equal", and double-click it. Or copy it from this page.
How do I type the does not precede or equal symbol on iPhone or Android? +
Phone keyboards do not include ⋠ by default. Copy it from this page and paste it, or add it as a text replacement shortcut in Settings so you can type it with a short abbreviation.
What is the HTML code for ⋠? +
Use ⋠ in HTML. The numeric form ⋠ works too. In CSS use content: "\22E0" and in JavaScript use "\u22E0".