Group7 characters

Logic symbols

7 logic characters, each with its HTML entity, Unicode code point, and the escapes you need for CSS, JavaScript, Python, and URLs. 5 of them have a named HTML entity; the rest need the numeric form.

Every logic character

character · entity · code point

⊣

Left Tack

&vdash;

U+22A3 ⊢

Right Tack

&dashv;

U+22A2 ⊨

True

&models;

U+22A8 ⊩

Forces

⊩

U+22A9 ∧

Logical And

&and;

U+2227 ∨

Logical Or

&or;

U+2228 ⊻

Exclusive Or

⊻

U+22BB

Other groups

Arrows Block Elements Box Drawing Cards Chess Currency Enclosed Numbers Fractions Greek HTML Legal Letters

GroupLogic

Characters7

Named5

Numeric2