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_INVALID,DKIM_SIGNED, MAILING_LIST_MULTI,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 28795 invoked from network); 16 Jun 2023 02:18:40 -0000 Received: from minnie.tuhs.org (2600:3c01:e000:146::1) by inbox.vuxu.org with ESMTPUTF8; 16 Jun 2023 02:18:40 -0000 Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id F18C94108E; Fri, 16 Jun 2023 12:18:34 +1000 (AEST) Received: from mail-ua1-x935.google.com (mail-ua1-x935.google.com [IPv6:2607:f8b0:4864:20::935]) by minnie.tuhs.org (Postfix) with ESMTPS id 2A92040BDF for ; Fri, 16 Jun 2023 12:18:22 +1000 (AEST) Received: by mail-ua1-x935.google.com with SMTP id a1e0cc1a2514c-789de11638fso95324241.1 for ; Thu, 15 Jun 2023 19:18:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dartmouth.edu; s=google1; t=1686881901; x=1689473901; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=4FARP1s+kaCd6/xuA/GYK/EwizNZcQLULjdbolZCVFw=; b=Bje9lOcpx/p+4SH5lhM47GENaX+RlrRvyxJDi8nSNlth/PanV36a+K1x+HXx7F02Qh MzsvI4UOBWylb9nXwHgc0nyY7Zma/7qPZUAZbkVlvMFccOVj53nwyMRqOeNHwE190oc4 gF8CEXVWVxkgFzegyWdxjCfpf23mnLU3DkQXqXkOD6gxyPqJ51kUcExA5wyySvuDa/+z /EZqBSlVu6hJIFbuVDKRXpVCXPuAnzEK8tQYkZNZt6yzCNaDKA9teFDA3yo8I5kz6O7b grDwg0UTAWzLibH9Psiey85Uj7PVV8SkC3eJcAz8vJFdsQKzFUBgsc8oZyR+mRQTstFD xngQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1686881901; x=1689473901; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=4FARP1s+kaCd6/xuA/GYK/EwizNZcQLULjdbolZCVFw=; b=Nu/V0PFDLmWIqrlv1fwyD1qC7zUyUGRQrHYizdyt+O6nRlKif+D9dNhDPrsFqD8wqv XXq6PL99oK6LL3Kmput4rWemTS7VpEh1tyJgDjhb9qAw7aOLmxPmHsaAL7HuCkRXHO4L n1++vVaehZe5xltpOrBkgTNCRPRTK+eIBp5opGV5/FsyuZoupUTUgSVDHPtZRQjrQrnL 67pCwxgnMWNk+0TkgLp5BPBIUbaCdLd7oDRixvKIcT3gYNFFaRZUtuWy5PLjiyAIyXaw jxhxwyME8iBLc4UOFEy7n9oLyvUm0NOrf66tJ/vVyTzbud59K+rDBrjYGeZxYM+EW3LB iD6A== X-Gm-Message-State: AC+VfDwS044YvpGRiZnJvAGJivTKEqxX5zwGPDQcjcY78+XLzhmbxGHU Gv5RrdVS22tUuhVitZArxXRXtZ4bI9UD0ntQ9WAexbMcMkqw8XFu X-Google-Smtp-Source: ACHHUZ4+BfBvn5MGTQc+Yf2TCZ0bKOHH9QK3j1V//HY80xKRSTZdcxvQljeHN1nYWcX6mjF5lxdXh9cBSj1ipUwt4y0= X-Received: by 2002:a67:ad06:0:b0:426:48f7:9ecd with SMTP id t6-20020a67ad06000000b0042648f79ecdmr856272vsl.28.1686881900688; Thu, 15 Jun 2023 19:18:20 -0700 (PDT) MIME-Version: 1.0 From: Douglas McIlroy Date: Thu, 15 Jun 2023 22:18:08 -0400 Message-ID: To: TUHS main list Content-Type: text/plain; charset="UTF-8" Message-ID-Hash: RIES5ENNHVRU4N54JYOWUJVT54SBEYVZ X-Message-ID-Hash: RIES5ENNHVRU4N54JYOWUJVT54SBEYVZ X-MailFrom: douglas.mcilroy@dartmouth.edu 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 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: 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? 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. Doug