Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.c
Subject: Re: about some potentially interesting unicode operators
Date: Thu, 5 Sep 2024 07:07:41 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <vbblbt$8f5h$2@dont-email.me>
References: <ad7303b3dd7422351ca7aedae5c62c44b87d29f3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Sep 2024 09:07:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="68210053b61215c41df1735cbf5c265b";
	logging-data="277681"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+iYUEzgB5l2SVpNxJgZ6cQ"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:hIXYI9s/rJprTuDdivV36BwbJC8=
Bytes: 1367

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