From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI
	autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 499 invoked from network); 30 Apr 2022 12:54:57 -0000
Received: from minnie.tuhs.org (45.79.103.53)
  by inbox.vuxu.org with ESMTPUTF8; 30 Apr 2022 12:54:57 -0000
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id 990FB9CF6B; Sat, 30 Apr 2022 22:54:54 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id 8E4FE9CF09;
	Sat, 30 Apr 2022 22:52:13 +1000 (AEST)
Received: by minnie.tuhs.org (Postfix, from userid 112)
 id 6D5299CF09; Sat, 30 Apr 2022 22:52:10 +1000 (AEST)
Received: from relay05.pair.com (relay05.pair.com [216.92.24.67])
 by minnie.tuhs.org (Postfix) with ESMTPS id 4F25C9CF04
 for <tuhs@minnie.tuhs.org>; Sat, 30 Apr 2022 22:52:09 +1000 (AEST)
Received: from orac.inputplus.co.uk (unknown [87.112.46.167])
 by relay05.pair.com (Postfix) with ESMTP id 282BA1A27B3
 for <tuhs@minnie.tuhs.org>; Sat, 30 Apr 2022 08:52:08 -0400 (EDT)
Received: from orac.inputplus.co.uk (orac.inputplus.co.uk [IPv6:::1])
 by orac.inputplus.co.uk (Postfix) with ESMTP id 4DDE8200B5
 for <tuhs@minnie.tuhs.org>; Sat, 30 Apr 2022 13:52:07 +0100 (BST)
To: tuhs@minnie.tuhs.org
From: Ralph Corderoy <ralph@inputplus.co.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
In-reply-to: <CAD2gp_SiBPRFETHzjtQRd5rHiTKYHE32DtK8neeUafa-G2N9cQ@mail.gmail.com>
References: <CAKH6PiWSOKFRe0oi92iygvTF1guH=vm5UQ-2OHm5t4HAcJPsNg@mail.gmail.com>
 <CALpTLGqJyO3BUkqRXA2_tsVRETcNb6sXcNFUMRcurORc4ifNxQ@mail.gmail.com>
 <20220430104546.1C13022135@orac.inputplus.co.uk>
 <CAD2gp_SiBPRFETHzjtQRd5rHiTKYHE32DtK8neeUafa-G2N9cQ@mail.gmail.com>
Date: Sat, 30 Apr 2022 13:52:07 +0100
Message-Id: <20220430125207.4DDE8200B5@orac.inputplus.co.uk>
Subject: Re: [TUHS] Aleph Null in Software Practice & Experience.
X-BeenThere: tuhs@minnie.tuhs.org
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: The Unix Heritage Society mailing list <tuhs.minnie.tuhs.org>
List-Unsubscribe: <https://minnie.tuhs.org/cgi-bin/mailman/options/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=unsubscribe>
List-Archive: <http://minnie.tuhs.org/pipermail/tuhs/>
List-Post: <mailto:tuhs@minnie.tuhs.org>
List-Help: <mailto:tuhs-request@minnie.tuhs.org?subject=help>
List-Subscribe: <https://minnie.tuhs.org/cgi-bin/mailman/listinfo/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=subscribe>
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

Hi John,

> Note that on correct Unicode renderers this is being shown as
> null-aleph instead of aleph-null.

Thanks for explaining.  I'm clearly using incorrect Unicode renderers.
:-)

-- 
Cheers, Ralph.