Re: How should I define 'thing' before I start talking about it?

[G. Branden Robinson]

Here are some responses from Doug that didn't make it to the right list.

----- Forwarded message from Douglas McIlroy <douglas.mcilroy@dartmouth.edu> 
-----

Date: Fri, 9 Jun 2023 15:53:00 -0400
From: Douglas McIlroy <douglas.mcilroy@dartmouth.edu>
To: TUHS main list <tuhs@tuhs.org>
Subject: [TUHS] Re: How should I define 'thing' before I start talking about
 it?

> 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

----- End forwarded message -----
----- Forwarded message from Douglas McIlroy <douglas.mcilroy@dartmouth.edu> 
-----

Date: Fri, 9 Jun 2023 16:41:49 -0400
From: Douglas McIlroy <douglas.mcilroy@dartmouth.edu>
To: TUHS main list <tuhs@tuhs.org>
Subject: [TUHS] Re How should I define 'thing' before I start talking about
 it?

Mea culpa. eqn does recognize groff escapes outside of quotes.

Doug

----- End forwarded message -----

Regards,
Branden

signature.asc
Description: PGP signature