Double Logical And Symbol
⩓ is the Double Logical AND symbol (U+2A53) used to express a logical conjunction in math and logic notation.
U+2A53
The symbol ⩓ is called the Double Logical AND. It’s primarily used in mathematical and logical writing where an “AND” operation needs a specific typographic form. This page helps you copy the character reliably across common formats.
Double Logical And Symbol Meaning
⩓ (U+2A53, “Double Logical AND”) represents a logical AND with a double vertical bar style. In practice, it appears in mathematical logic and related notation where conjunction is being emphasized or where a specific symbol variant is preferred. Compared with a single-bar AND-like symbol, this character provides a distinct visual cue and is often used in formal expressions, sets of conditions, or logic statements. When writing or typesetting technical content, using the exact Unicode character helps maintain correct rendering and consistency across platforms and fonts that support it.
Common uses
- •Writing formal logical conjunctions in math notes or textbooks
- •Specifying “A and B” conditions in logic-based documentation
- •Indicating meet/conjunction-like operations in technical writing (with consistent typography)
- •Creating UI labels or badges for boolean filters (AND logic) in documentation
- •Using in code comments or specs that mirror mathematical notation
Examples
⩓ Double Logical AND Symbol
- ⩓If condition A ⩓ condition B holds, then the rule applies.
- ⩓Check that x ⩓ y are both true before computing the result.
- ⩓The system requires login ⩓ verification to proceed.
- ⩓Define P = (A ⩓ B) for the combined predicate.
- ⩓Return success when the inputs satisfy A ⩓ B.
Variations
Ready to copy
Technical codes
| Unicode | U+2A53 | |
| HTML Entity | ⩓ | |
| HTML Code | ⩓ | |
| CSS | \2A53 | |
| Alt Code | Alt + 10835 | |
| Decimal | 10835 |
How to type Double Logical And Symbol (⩓)
On Windows
Hold Alt and type 10835 on the numeric keypad. In Word, type 2A53 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 2A53. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 2a53, then press Enter or Space.
Anywhere
Copy ⩓ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⩓ mean?
⩓ is the “Double Logical AND” symbol (Unicode U+2A53). It denotes logical conjunction (AND) in formal math/logic notation.
How do I copy ⩓ into HTML?
You can use the HTML entity: ⩓.
How do I use ⩓ in CSS?
Use the CSS escape form: \\2A53.
How do I use ⩓ in JavaScript?
Use the JavaScript Unicode escape: \\u{2A53}.