[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to add "Up:" to Texinfo navigation bar?
From: |
Gavin Smith |
Subject: |
Re: How to add "Up:" to Texinfo navigation bar? |
Date: |
Tue, 3 Sep 2024 07:28:17 +0100 |
On Tue, Sep 03, 2024 at 01:52:40AM +0200, Rudolf Adamkovič wrote:
> Yes, `lynx' is breaking it as "words in prose", which is what you see.
> That does not work for more complex LaTeX, such as longer derivations,
> more complex systems of equations, and so on.
>
> Consider the following proof, rendered by `lynx':
>
> \begin{align*} & \lnot (P \land Q) \equiv \lnot P \lor \lnot Q \\[1ex] &
> \quad \equiv ((\lnot (P \land Q) ) \implies (\lnot P \lor \lnot Q))
> \land ((\lnot P \lor \lnot Q ) \implies (\lnot (P \land Q))) \\[1ex] &
> \quad \equiv (\lnot ( \lnot (P \land Q)) \lor (\lnot P \lor \lnot Q))
> \land (\lnot (\lnot P \lor \lnot Q) \lor (\lnot (P \land Q))) \\[2ex] &
> \lnot (P \lor Q) \equiv \lnot P \land \lnot Q \\[1ex] & \quad \equiv
> ((\lnot (P \lor Q)) \implies (\lnot P \land \lnot Q)) \land ((\lnot P
> \land \lnot Q) \implies (\lnot (P \lor Q))) \\[1ex] & \quad \equiv
> (\lnot (\lnot (P \lor Q)) \lor (\lnot P \land \lnot Q)) \land (\lnot
> (\lnot P \land \lnot Q) \lor (\lnot (P \lor Q))), \end{align*}
>
> The original, as formatted by the author, is perfectly readable.
>
> > In TeX, a single line break is equivalent to a space, so there is
> > no loss of meaning.
>
> Correct. But there is a loss of immediate readability.
You've convinced me. I think we should change it for @displaymath but
not for inline @math as the line breaks there are not meaningful.
There is the minor issue that the display width of the browser may not
match that used for the TeX code but I expect this would rarely matter.