﻿[Logic]
/logicand//,∧    //Logical AND (Conjunction)
/logicor//,∨    //Logical OR (Disjunction)
/logicnot//,¬    //Logical NOT (Negation)
/logicimplies//,→    //Implies (Conditional)
/logiciff//,↔    //If and only if (Biconditional)
/logicforall//,∀    //For all (Universal quantification)
/logicexists//,∃    //There exists (Existential quantification)
/logicnexists//,∄    //There does not exist
/logicequiv//,≡    //Equivalent
/logicxor//,⊕    //Exclusive OR (XOR)
/logicnand//,⊼    //NAND (Not AND)
/logicnor//,⊽    //NOR (Not OR)
/logictautology//,⊨    //Tautology
/logiccontradiction//,⊥    //Contradiction (Bottom)
/logicprovable//,⊢    //Provable
/logicmodelsof//,⊨    //Models of
/logicdoesnotprove//,⊬    //Does not prove
/logicdoesnotentail//,⊭    //Does not entail
/logicindependent//,⫫    //Independent
/logicmodalbox//,□    //Modal necessity (Box)
/logicmodaldiamond//,◇    //Modal possibility (Diamond)
