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 1055 invoked from network); 9 Jun 2023 19:53:39 -0000 Received: from minnie.tuhs.org (2600:3c01:e000:146::1) by inbox.vuxu.org with ESMTPUTF8; 9 Jun 2023 19:53:39 -0000 Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id 8F2AE40BD4; Sat, 10 Jun 2023 05:53:32 +1000 (AEST) Received: from mail-vs1-xe35.google.com (mail-vs1-xe35.google.com [IPv6:2607:f8b0:4864:20::e35]) by minnie.tuhs.org (Postfix) with ESMTPS id 96E3540BD1 for ; Sat, 10 Jun 2023 05:53:16 +1000 (AEST) Received: by mail-vs1-xe35.google.com with SMTP id ada2fe7eead31-43b2da5b307so775663137.2 for ; Fri, 09 Jun 2023 12:53:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dartmouth.edu; s=google1; t=1686340394; x=1688932394; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=cjG5NeIE0Rfj1yuofCnCVANuLKMgfP/pOY+juWa0bos=; b=vE0XeFH1nJHv7F/nekRZ1wh7VpYaJF7bQ4Mmwseb/nvE2o9D8ILLGLX/6xH08StecP 1B7ZTa/mR5vZKRpU6DhaUNAmRuR90yyIKNb1vNA/DA5wAwgP8EybebBnC4gWyXRoW7s+ 3WliNhL/F3NAbywL+SjgBjfIlPAwwwa9iDbiTUeULLDaxIpQxMpDaABY2x7Zd8tFxiTI ZeR5r9iQguEv/fK80aF5IBn+K0ULHz2LoFDh5DwOLeUIvbI4By0psPcpBbvdXOpTVghi 5J1VreGY55zGDCj7SqN9w4Gj7Q1QcsQKgjAFLEEcobCn6VAcEUq70oktzKPba2/j2tp3 CLsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1686340394; x=1688932394; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=cjG5NeIE0Rfj1yuofCnCVANuLKMgfP/pOY+juWa0bos=; b=jQAzPytU1j9GZIPA1d16ewkAy81hH+Nj3iEJLJB1MeCsf26ruZbKdYXcdL0U9QYR1j u8sJxVXI30AHtD/WLqhqOzR2ByTqzUCqtgIM1bvExLjtBVb/h+FOFt9Rg6QtPcYC1IgQ bv72XgZGXdnl4uARxPv4j7qLDpCBhCp33CEhmzJR7DXnlsVV6ZA3kwC7ZYGn0m8rEl/g Sb18cYWeq9UYejS1oMl/YL65guvIaOU1h/VISilYMyrIZzM+GRLpBJ4uP+gA2Ul30G6D OQH5H7sa0HK1jyx2zF12f8PLfrl5/JNgfsXUtVifqM/yHn57wIWqzXcnsdL8wu6uIKka PcHw== X-Gm-Message-State: AC+VfDz4CZXRL0yy0Af53xKtZCj9iPbpSqdPOp6vR8V0tPzlCp8xW96d Vo/f9BCzfMa8QSRddKoLQhrV5d99IfzDxUyR+5KtXsA8S9Tu1vQIhSk= X-Google-Smtp-Source: ACHHUZ4c5laAgyMq6X0EfYjRzpac5NqObaJe1E8xclFKKJUKfLkC+WR3DGiqektE2+Lkiy9UkspnzugwKNTvyx7g60A= X-Received: by 2002:a67:fc4e:0:b0:42f:cfdc:4803 with SMTP id p14-20020a67fc4e000000b0042fcfdc4803mr1803196vsq.33.1686340394609; Fri, 09 Jun 2023 12:53:14 -0700 (PDT) MIME-Version: 1.0 From: Douglas McIlroy Date: Fri, 9 Jun 2023 15:53:00 -0400 Message-ID: To: TUHS main list Content-Type: text/plain; charset="UTF-8" Message-ID-Hash: H3O34YZ7E2U2YV53A5RXOHSGX545VXGV X-Message-ID-Hash: H3O34YZ7E2U2YV53A5RXOHSGX545VXGV 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: How should I define 'thing' before I start talking about it? List-Id: The Unix Heritage Society mailing list Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: > As far as I see it, EQN input is made of things where a thing is one of > mathematical or troff or eqn symbol > mathematical punctuation > delimiter, these being space, '~', '^', '{', '}', or newline > a character surrounded by punctuation or delimiters > - with/without users errors > a word surrounded by punctuation or delimiters > - with/without users errors > EQN keywords (which are special words???) > That is way too long winded!! I want something tight. Quotes take precedence over all other things. What is a "troff symbol"? I can only think of troff escapes, which can only appear in quotes , so are not eqn things in their own right. (In user errors they may be seen as punctuation, etc.) Ditto for "eqn symbol"? Perhaps the union of some or all of the things that follow in the list? Ditto again for "mathematical punctuation". Comma is one example I can think of. Apostrophe, read as "prime", may be another. Are there more? Is "surrounded by" inclusive or exclusive? Why is "character" distinguished from "word"? The ??? question bears on the issue of whether sintheta is one thing or two. The word "maximal" will probably figure in the answer Another (sticky) point is how punctuation sticks to an adjacent thing. For example, eqn inserts space in (a,b), but keeps the whole thing(?) together in 2 sup (a,b). Doug