Re: How to add "Up:" to Texinfo navigation bar?

[Gavin Smith]

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.