Re: about some potentially interesting unicode operators

On Wed, 28 Aug 2024 01:58:26 +0200, fir wrote:

a·b·····
 
middle dot - terribly nice and good loking

The official international standard for a decimal point character, in
place of region-specific comma and full-stop characters.

Also, De Morgan’s theorems:

    ¬(A ∧ B) = ¬A ∨ ¬B
    ¬(A ∨ B) = ¬A ∧ ¬B

Or, if you like:

    ¬(¬A ∧ ¬B) = A ∨ B
    ¬(¬A ∨ ¬B) = A ∧ B