On Sat, Apr 30, 2022 at 3:53 AM Ralph Corderoy <ralph@inputplus.co.uk> wrote:

accompanied by a note that Lang isn't א₀.

Note that on correct Unicode renderers this is being shown as null-aleph instead of aleph-null.  The reason for that is that you are using the Hebrew letter, which is right-to-left and makes the neutral subscript zero character rendered right-to-left as well.  So instead of א U+05D0 HEBREW LETTER ALEF, you need the identical-looking but left-to-right character ℵ U+2113 ALEF SYMBOL, which will give you ℵ₀.