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=-0.8 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 30615 invoked from network); 16 Jun 2023 03:21:13 -0000 Received: from minnie.tuhs.org (50.116.15.146) by inbox.vuxu.org with ESMTPUTF8; 16 Jun 2023 03:21:13 -0000 Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id 3DE1142589; Fri, 16 Jun 2023 13:21:09 +1000 (AEST) Received: from mail-oo1-xc30.google.com (mail-oo1-xc30.google.com [IPv6:2607:f8b0:4864:20::c30]) by minnie.tuhs.org (Postfix) with ESMTPS id 67B4F4257E for ; Fri, 16 Jun 2023 13:20:58 +1000 (AEST) Received: by mail-oo1-xc30.google.com with SMTP id 006d021491bc7-55af55a0fdaso144429eaf.2 for ; Thu, 15 Jun 2023 20:20:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1686885657; x=1689477657; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=fI09NoklZbikSP93B8SUFxZMLcHjj28pQQVmg9XWoYQ=; b=WIt0lrP7BG2NUmXVvavW7a0Q2I5PN/GLQF7fimz9JRf5Mn/UHV+tLIxbI1U8tsvt7l zDCOjm8M199oXGT9AcZ9xEHC7vLKVhITh0cN0NkhfmkK91+dM7UprDGPfMJLb8DwvChS tyumzliTkGHcq7ouNOvoYzUG/CVaqRHASNIyaexrMR3Bb5gILp83tMDXpOgziIU9CiXA gV79Z+/fKsyI4WfMW+zBFBbV7lchel4hDZWaDaq5kZi+WUpau3xyyEIGdAu+wK4pNuvD vdXH1ZjHM9pXeR005aEoU33CcAehMTwx9sXmSm2wv3j9IUZQ+vXrdTiPsts7w9F52/41 hBDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1686885657; x=1689477657; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=fI09NoklZbikSP93B8SUFxZMLcHjj28pQQVmg9XWoYQ=; b=k9kOgmn/V9rhAYNNNx7sItdIRQUGBYEt8rgEt9mynO/kyzL4Uq7b6YLTiUaWiOGtOZ ZeaEdLjixQorgDNqX+FPey6bA8omx1Ly4uQ+uLU9WygIpe7WtyQXzVL4uwCAtvM3tQGm 6/qWvn8YOIPGgOk4Tb3qQ/ob9pUINh3XrXH2lHDNlBi9Y8bH1dr47oY3uCXmTt/zljW5 AvsQACRjgqugqQhcAoier1F4tT3oG0eHX4zZij3BVCe/GnLna1DkSD29dUG+HZr00oim ZupNd6TiUlMyJJfUpAHlTQYBkgGx3gR90EPNxMWDPMXJMESZwwkYCq1PCOADgyFHmooJ go3w== X-Gm-Message-State: AC+VfDwhptzfEhgp3xQDp0D4DQ1xLTqkiRpfe6iZ8vvlYk6J2Yb7lQ20 x8qTzD8HJxO/qMyQmCflbsdE5jISKMo= X-Google-Smtp-Source: ACHHUZ5ziW+DhhOGUFODUNPUntlq9L5TRkfhfVcGvFt5/y9r7tNY5UZ0noEk08dJtho4Pycvo5yJTA== X-Received: by 2002:a4a:c98e:0:b0:555:7ed9:6f9d with SMTP id u14-20020a4ac98e000000b005557ed96f9dmr824700ooq.9.1686885657160; Thu, 15 Jun 2023 20:20:57 -0700 (PDT) Received: from illithid (ip68-12-97-90.ok.ok.cox.net. [68.12.97.90]) by smtp.gmail.com with ESMTPSA id q15-20020a4ae64f000000b0055b05526722sm2816477oot.20.2023.06.15.20.20.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 15 Jun 2023 20:20:56 -0700 (PDT) Date: Thu, 15 Jun 2023 22:20:55 -0500 From: "G. Branden Robinson" To: groff@gnu.org Message-ID: <20230616032055.ixdg6ubvfxgjhsmb@illithid> References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="vhyxjihvux36dzml" Content-Disposition: inline In-Reply-To: Message-ID-Hash: AMLEUMM4627WQ77JCT2YTEY3WY2IY37K X-Message-ID-Hash: AMLEUMM4627WQ77JCT2YTEY3WY2IY37K X-MailFrom: g.branden.robinson@gmail.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: TUHS main list X-Mailman-Version: 3.3.6b1 Precedence: list Subject: [TUHS] Re: GNU eqn clarifications and reforms List-Id: The Unix Heritage Society mailing list Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --vhyxjihvux36dzml Content-Type: text/plain; charset=us-ascii Content-Disposition: inline [looping groff list back in] At 2023-06-15T22:18:08-0400, Douglas McIlroy wrote: > I am not convinced that using special characters rather than in-line > eqn is a good thing. It means learning a whole new vocabulary. Quick, > what's the special character for Greek psi? \[*q] ! But I may suffer from an excessive familiarity with this material. (Checking myself, I got it right! Part of my mnemonic is that there are 24 letters to map from our Latin alphabet to Greek, drop 'j' and 'v' as "Late Latin" variants of 'i' and 'u'[1], and then most of the rest map intuitively with a handful of exceptions that have to be memorized, psi being one of them.) > I have found that, for a sequence of displayed equations as in an > algebraic derivation, a pile often looks more coherent than a sequence > of EQ-EN pairs. The pile can even contain interleaved comments, as in > Hoare-style proofs. Yes. I suspect there is a widely held misconception that eqn distinguishes displayed equations from inline ones. It doesn't--a macro package might, but even then, nothing internal to the equation's typography is different. I guess this is a hangover from TeX? You need one rule: use "smallover" instead of "over" if you're trying to pack a fraction into running text. Regards, Branden [1] Which isn't _quite_ correct but works for this purpose. --vhyxjihvux36dzml Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEh3PWHWjjDgcrENwa0Z6cfXEmbc4FAmSL1Q8ACgkQ0Z6cfXEm bc6REBAAhpopXLu8p9oYytRE0SxDtfHO7kwYDQ6JCCd6rmXeexGrqakomFscQo7P 4JOeZxa68T2+6z4GFN9IvrFfHIPJQ4nuVgXD1H01DFNwvIM7TzJzeG3DPWIY08Pi ubNoyTlgt2XjUTxX+4P9a+njcKJX8OuGMofG12Ez3TG4pj4Es99sYGeHS8x6m1wI Ks4y5tVDh4XbhfpgtPRjGhnlzT9M4/eyN8P//9QfQrhwctRpLRMutDnIPsF8ZWBw CwigEkVo4Pbxkry3agvoztqmGoX8jVi2o937ozMkbMede6CwZP2vMetmoyS1h725 A763oakBl0sQMdZ7DZQGzj9BLDYpNkLfpuAw3cXb332SEmtT0GVtiZKgWkQSyfjd ZYQCzimL+D1W5PAh8X9Ra5YF9oZE0m0K0I3YmYqsdWY2Hr/qMTmS8B4KFBVm3X8v wdaiM3ULBHwaKa1006j+gJ1RzUIQSAzRpivrq+9lPtDwGRNnmmP2/mTDJIbhOysk 54FkJFagycJbzZJElo7Cvb7iSzyUHfZj6oetLMiKazX5KwqdEgWIAETKiraYxFMn Q4Vg1a6UusdKVTiyjH75qtFX3+TiP7W2szUjMQMPDjLQyVIYVBjGZEPGUIpiO4Yj dVovw7+HS4x7b5aIrtrF9wnre8y6glQliEXfeXt82+DwjFjq2yk= =NJoG -----END PGP SIGNATURE----- --vhyxjihvux36dzml--