Re: [TUHS] Re: GNU eqn clarifications and reforms

[Damian McGuckin]

Hi Doug,

On Thu, 15 Jun 2023, 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?

I do but I get your point. I will drop that.

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.

Now that sounds really useful. Do you have an example please Doug? nNo 
rush.

Thanks - Damian