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.