Logical Symbols

Copy and Paste Logical Text Symbols

→ ← ↛ ↚ ↓ ⇒ ⇐ ⇔ ⇋ ↯ ⇏ ∧ ∨ ⋀ ⋁ ⋂ ⋃ ¬ ≡ ∴ ∵ ∶ ∷ ∼ ⊧ ⊢ ⊣ ⊤ ⊥ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯ ⊻ ⊽ ⋎ ⋏

Symbol	Name	Unicode	ALT Code
→	Rightwards Arrow	U+2192	Alt+8594
←	Leftwards Arrow	U+2190	Alt+8592
↛	Rightwards Arrow With Tail	U+21DB	Alt+8675
↚	Leftwards Arrow With Tail	U+21DA	Alt+8674
↓	Downwards Arrow	U+2193	Alt+8595
⇒	Rightwards Double Arrow	U+21D2	Alt+8658
⇐	Leftwards Double Arrow	U+21D0	Alt+8656
⇔	Left Right Double Arrow	U+21D4	Alt+8660
⇋	Rightwards Arrow Over Leftwards Arrow	U+21CB	Alt+8651
↯	Downwards Zigzag Arrow	U+21AF	Alt+8623
⇏	Rightwards Double Arrow With Vertical Stroke	U+21CF	Alt+8655
∧	Logical And	U+2227	Alt+8743
∨	Logical Or	U+2228	Alt+8744
⋀	N-ary Logical And	U+22C0	Alt+8896
⋁	N-ary Logical Or	U+22C1	Alt+8897
⋂	N-ary Intersection	U+22C2	Alt+8898
⋃	N-ary Union	U+22C3	Alt+8899
¬	Not	U+00AC	Alt+172
≡	Identical To	U+2261	Alt+8801
∴	Therefore	U+2234	Alt+8756
∵	Because	U+2235	Alt+8757
∶	Ratio	U+2236	Alt+8758
∷	Proportion	U+2237	Alt+8759
∼	Tilde	U+223C	Alt+8764
⊧	Models	U+22A7	Alt+8871
⊢	Right Tack	U+22A2	Alt+8866
⊣	Left Tack	U+22A3	Alt+8867
⊤	Top	U+22A4	Alt+8868
⊥	Bottom	U+22A5	Alt+8869
⊨	Double Turnstile	U+22A8	Alt+8872
⊩	Turnstile	U+22A9	Alt+8873
⊪	Assertion	U+22AA	Alt+8874
⊫	Double Vertical Bar Turnstile	U+22AB	Alt+8875
⊬	Does Not Turnstile	U+22AC	Alt+8876
⊭	Not True	U+22AD	Alt+8877
⊮	Does Not Prove	U+22AE	Alt+8878
⊯	Negative Vertical Bar	U+22AF	Alt+8879
⊻	Exclusive Or	U+22BB	Alt+8891
⊽	Nor	U+22BD	Alt+8893
⋎	Logical Or Bar	U+22CE	Alt+8902
⋏	Logical And Bar	U+22CF	Alt+8903