From: Douglas McIlroy <douglas.mcilroy@dartmouth.edu>
To: TUHS main list <tuhs@tuhs.org>
Subject: [TUHS] Re: GNU eqn clarifications and reforms
Date: Thu, 15 Jun 2023 22:18:08 -0400 [thread overview]
Message-ID: <CAKH6PiWccCuoiWpV7dbt-pMHKtZXEvRa1VgJU5JixpsY0-VXLQ@mail.gmail.com> (raw)
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
next reply other threads:[~2023-06-16 2:18 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-16 2:18 Douglas McIlroy [this message]
2023-06-16 3:20 ` G. Branden Robinson
[not found] ` <37ea7f2b-e8f7-3cfe-a27d-ece47c5dc0f7@esi.com.au>
2023-06-16 5:07 ` G. Branden Robinson
2023-06-16 7:43 ` [TUHS] Re: end-S/long-S (was: Re: GNU eqn clarifications and reforms) markus schnalke
2023-06-16 9:39 ` Wesley Parish
2023-06-16 16:18 ` Paul Winalski
2023-06-16 17:46 ` John Cowan
2023-06-16 17:51 ` Steve Nickolas
2023-06-16 18:19 ` Angelo Papenhoff
[not found] ` <1da83cf3-7fac-b5fd-dec-e4b4313d3a@esi.com.au>
2023-06-16 19:38 ` [TUHS] Re: GNU eqn clarifications and reforms G. Branden Robinson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAKH6PiWccCuoiWpV7dbt-pMHKtZXEvRa1VgJU5JixpsY0-VXLQ@mail.gmail.com \
--to=douglas.mcilroy@dartmouth.edu \
--cc=tuhs@tuhs.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).