pathterminuspages/tables/aboutcontactabout me

Logic Symbols

23.05.2018

SymbolConnective/NameUnicodeHTML-charLatex
ImplicationU+21D2⇒\\Rightarrow
U+2192→\\rightarrow
U+2283⊃\\supset
BiimplicationU+21D4⇔\\Leftrightarrow
U+2194↔\\leftrightarrow
¬NegationU+02AC¬\\neg
˜U+02DC˜\\sim
!U+0021!\\
ConjunctionU+2227∧\\land
&U+0026&\\&
DisjunctionU+2228∨\\lor
U+2225∥\\parallel
TautologyU+22A4⊤\\top
ContradictionU+22A5⊥\\bot
ProvableU+22A2⊢\\vdash
ModelsU+22A8⊨\\vDash
Logic EquivalenceU+2262≡\\equiv
ForallU+2200∀\\forall
ExistsU+2203∃\\exists
∃!UniquenessU+2203∃!\\exists !