Copy, type, and use

Conjunction Symbol ∧

∧ is U+2227 LOGICAL AND. In propositional logic, P ∧ Q is true only when both propositions are true.

Character
Unicode
U+2227

Conjunction Symbol Copy and Paste

Press the Copy button beside ∧, then paste it with Ctrl+V on Windows, Command+V on Mac, or the Paste command on mobile.

Copy the conjunction symbol One click copies the exact Unicode character.
  1. 1
    Copy

    Press the button to copy ∧.

  2. 2
    Place the cursor

    Open the message, document, form, or profile where you need it.

  3. 3
    Paste

    Use Ctrl+V, Command+V, or the mobile Paste command.

Propositional logicTruth tablesFormal proofsBoolean expressions

What Is the Conjunction Symbol?

∧ is U+2227 LOGICAL AND. In propositional logic, P ∧ Q is true only when both propositions are true.

Propositional logic

Truth tables

Formal proofs

Boolean expressions

Conjunction Symbol Variants and Related Forms

Word operator

Plain-language conjunction

Programming AND

Common short-circuit operator

N-ary logical AND

Operator over multiple terms

Logical OR Symbol ∨

∨ is U+2228 LOGICAL OR. In propositional logic, P ∨ Q is…

Negation Symbol ¬

¬ is U+00AC NOT SIGN. In propositional logic it negates the proposition…

Xor Symbol ⊕

⊕ is U+2295 CIRCLED PLUS. In Boolean algebra and digital logic it…

If and Only If Symbol ⇔

⇔ is U+21D4 LEFT RIGHT DOUBLE ARROW. In mathematical logic it is…

There Exists Symbol ∃

∃ is U+2203 THERE EXISTS. It is the existential quantifier and states…

How to Type the Conjunction Symbol

Choose your device or app to insert the conjunction symbol without copying it from another page.

Conjunction Symbol on Windows

In Microsoft Word, type 2227 and press Alt+X. In other Windows apps, use Character Map or copy ∧ from this page.

Conjunction Symbol on Mac

Open Character Viewer with Control+Command+Space and search for the first character name, or copy ∧ from this page.

Conjunction Symbol on iPhone and iPad

Tap the copy button for ∧, then paste it into the target app. Save it as a text replacement for repeated use.

Conjunction Symbol on Android

Tap the copy button for ∧, then paste it into the target app. Save it as a text replacement for repeated use.

Conjunction Symbol on Chromebook

On ChromeOS with Unicode input enabled, press Ctrl+Shift+U, type 2227, then press Enter; otherwise copy ∧.

Conjunction Symbol on Microsoft Word

Type 2227, then press Alt+X to convert the code to ∧.

Conjunction Symbol on Google Docs

Use Insert > Special characters and search by the Unicode name, or paste ∧ from this page.

Conjunction Symbol Unicode and HTML Codes

Use these values when you need the conjunction symbol in HTML, CSS, source code, or a character reference.

Unicode U+2227
Unicode name LOGICAL AND
HTML decimal
HTML hex
CSS escape 2227

How to Use and Format the Conjunction Symbol

Format ∧ according to the specific role defined for Conjunction Symbol. ∧ is U+2227 LOGICAL AND. In propositional logic, P ∧ Q is true only when both propositions are true. The encoded form is U+2227; preserve the complete sequence, capitalization, charge, unit letters, diacritics, or operator structure exactly as shown. For Conjunction Symbol, placement and spacing should follow the scientific, mathematical, editorial, musical, currency, or interface convention required by its actual use.

This page covers logical conjunction ∧. It is not the caret ^ used in plain text or programming, the intersection operator ∩, or an ordinary letter A. When conjunction symbol communicates an action, quantity, relation, category, warning, or status, include nearby readable wording and an accessible name. Test conjunction symbol in the actual website, document, font, export format, and assistive-technology workflow rather than accepting a merely similar glyph.

  • In propositional logic, identify ∧ as Conjunction Symbol and explain the exact role it performs before the reader relies on it.

  • For truth tables, retain the sequence U+2227; do not silently replace ∧ with the related form AND.

  • When conjunction symbol appears in formal proofs, apply this convention: Place a complete proposition on each side of the operator when required.

  • While preparing boolean expressions, compare ∧ with && and ⋀, then keep the version whose meaning matches the source.

  • Encode conjunction symbol as UTF-8 or the numeric references ∧ and ∧ so the published text remains searchable and selectable.

  • Give ∧ the readable label “Conjunction Symbol” wherever the surrounding sentence, formula, score, table, or control does not already state the meaning.

  • Test conjunction symbol in the final font, mobile layout, PDF export, copy workflow, and screen-reader output before release.

Conjunction Symbol Examples

  • P ∧ Q
  • A ∧ B
  • ¬P ∧ Q
  • (P ∧ Q) → R
  • Accessible reading: P and Q
  • Unicode sequence for Conjunction Symbol: U+2227
  • HTML decimal: ∧
  • HTML hexadecimal: ∧
  • CSS escapes: 2227
  • Accessible text label: Conjunction Symbol

Common Conjunction Symbol Mistakes

  • Using AND where ∧ is required changes the intended conjunction symbol or introduces a different code point.
  • Dropping part of U+2227 while copying conjunction symbol into propositional logic.
  • Applying the wrong convention to conjunction symbol in truth tables; specifically, confusing the operator with a shape or programming token..
  • Leaving ∧ unexplained in formal proofs when the audience may read it as &&.
  • Assuming the font used for boolean expressions will render conjunction symbol exactly like the preview on this page.
  • Converting ∧ into an image even though selectable Unicode text is appropriate for conjunction symbol.
  • Publishing conjunction symbol without checking the distinction from ⋀.
  • Using ∧ as the only accessible name of a button, diagram item, formula token, or status message.

Conjunction Symbol intent boundary

This page covers logical conjunction ∧. It is not the caret ^ used in plain text or programming, the intersection operator ∩, or an ordinary letter A.

More About the Conjunction Symbol

Conjunction Symbol is ∧, U+2227 LOGICAL AND. In propositional logic, P ∧ Q is true only when both P and Q are true. The operator joins complete propositions and should be interpreted within the stated logical system. Typical expressions include “P ∧ Q,” “¬P ∧ Q,” and “(P ∧ Q) → R.” In a truth table, the conjunction column is true only on the row where both inputs are true. Parentheses are useful when ∧ appears with implication, disjunction, or negation. Keep ∧ distinct from the caret ^ used in plain text or programming, the set-intersection symbol ∩, and an ordinary letter A. Software languages may choose different AND operators, so a code example should follow that language rather than importing mathematical notation automatically. Copy U+2227 exactly and use an accessible reading such as “P and Q.” A proof or specification should define the propositions and preserve operator precedence so the expression is not ambiguous. HTML may contain literal UTF-8 ∧, decimal ∧, or hexadecimal ∧. Recopy the sample “Accessible reading: P and Q,” confirm the final text still contains U+2227, and check that the visible heading names Conjunction. This final check protects Conjunction Symbol from font substitution, accidental character loss, and intent drift. ∧ is U+2227 LOGICAL AND. In propositional logic, P ∧ Q is true only when both propositions are true. For Conjunction Symbol, ∧ is encoded as U+2227, and its Unicode name is LOGICAL AND. Common uses for ∧ include Propositional logic, Truth tables, Formal proofs, Boolean expressions. Add a readable label when Conjunction Symbol could be misunderstood. Sample uses of Conjunction Symbol include P ∧ Q; A ∧ B; ¬P ∧ Q; (P ∧ Q) → R. Preserve the full character or sequence when copying between apps. Avoid these common Conjunction Symbol problems: Using AND where ∧ is required changes the intended conjunction symbol or introduces a different code point; Dropping part of U+2227 while copying conjunction symbol into propositional logic; Applying the wrong convention to conjunction symbol in truth tables; specifically, confusing the operator with a shape or programming token. Before final export of Conjunction Symbol, In propositional logic, identify ∧ as Conjunction Symbol and explain the exact role it performs before the reader relies on it; For truth tables, retain the sequence U+2227; do not silently replace ∧ with the related form AND; When conjunction symbol appears in formal proofs, apply this convention: Place a complete proposition on each side of the operator when required. Conjunction Symbol on Windows: In Microsoft Word, type 2227 and press Alt+X. In other Windows apps, use Character Map or copy ∧ from this page. Conjunction Symbol on Mac: Open Character Viewer with Control+Command+Space and search for the first character name, or copy ∧ from this page. Conjunction Symbol on iPhone: Tap the copy button for ∧, then paste it into the target app. Save it as a text replacement for repeated use.

Conjunction Symbol FAQ

What is the encoded form of Conjunction Symbol?

Conjunction Symbol is stored as U+2227, whose Unicode character names are LOGICAL AND.

How should I copy ∧ for propositional logic?

Copy the complete sequence ∧ and verify that all characters in U+2227 remain present after pasting.

Which HTML form reproduces Conjunction Symbol?

Use literal UTF-8 ∧, decimal references ∧, or hexadecimal references ∧; do not substitute AND.

Why might ∧ look different in truth tables?

The font or emoji renderer can change shape and spacing, but the encoded sequence U+2227 should remain unchanged.

Can I replace ∧ with && or ⋀?

Only when the destination convention explicitly calls for that form. This page covers logical conjunction ∧. It is not the caret ^ used in plain text or programming, the intersection operator ∩, or an ordinary letter A.