@Litoz,
												¬ is the logical "NOT" in mathematics and physics (same language 

 )
∧ is AND
∨ is OR
⊻  is XOR
∀ is For any... or - Universal quantifier
∃ is "There exist" or - Existence quantifier 
∃! is There exist only one..." - or - Uniqueness quantifier
≡ is definition, sometimes := or :⇔
etc,etc...