[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU eqn clarifications and reforms (was: EQN - special words)
From: |
G. Branden Robinson |
Subject: |
Re: GNU eqn clarifications and reforms (was: EQN - special words) |
Date: |
Fri, 9 Jun 2023 10:27:51 -0500 |
At 2023-06-09T22:15:41+1000, Damian McGuckin wrote:
> Also remember that
>
> left {
> right }
>
> removes the special meaning from the braces, i.e. as a way to group
> multiple things into what can then be treated as a single thing. In
> that context, those braces are also then no longer delimiters.
Argh! How annoying (for a couple of reasons). I managed to not know
that, overlook wherever K&C said it was the case, and not word my eqn(1)
revisions so as to capture it.
I think in pedagogial examples, we should train eqn writers to always
quote braces they mean to use as symbols, even in context where the
grammar makes it unnecessary. I find this semantic rule, where braces
get de-powered by a preceding primitive, perverse.
Guess I'll be pushing another eqn man page change. Thanks for bringing
it to my attention.
Regards,
Branden
signature.asc
Description: PGP signature
- Re: GNU eqn clarifications and reforms (was: EQN - special words), (continued)
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/01
- Re: GNU eqn clarifications and reforms (was: EQN - special words), G. Branden Robinson, 2023/06/01
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/01
- Re: GNU eqn clarifications and reforms (was: EQN - special words), G. Branden Robinson, 2023/06/01
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/01
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/09
- Re: GNU eqn clarifications and reforms (was: EQN - special words), G. Branden Robinson, 2023/06/09
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/09
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Richard Morse, 2023/06/09
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/09
- Re: GNU eqn clarifications and reforms (was: EQN - special words),
G. Branden Robinson <=
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/10
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/12
- Re: GNU eqn clarifications and reforms (was: EQN - special words), G. Branden Robinson, 2023/06/12
- Message not available
- Message not available
- Message not available
- Message not available
- Re: GNU eqn clarifications and reforms (was: EQN - special words), Damian McGuckin, 2023/06/16
Re: GNU eqn clarifications and reforms (was: EQN - special words), G. Branden Robinson, 2023/06/12