help-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Rudolf Adamkovič
Subject: Re: How to add "Up:" to Texinfo navigation bar?
Date: Tue, 03 Sep 2024 01:52:40 +0200

Gavin Smith <gavinsmith0123@gmail.com> writes:

> This becomes in HTML (with -c HTML_MATH=mathjax):
>
> <div class="displaymath"><em class="tex2jax_process">\[ f(x)
> = {1\over\sigma\sqrt{2\pi}}
>      e^{-{1\over2}\left({x-\mu\over\sigma}\right)^2}
> \]</em></div>

Yes, all is well in HTML source code.  But the user should not be forced
to search the HTML source when MathJax does not render, in my opinion.

> I tested this in "lynx" and it looks as follows:
>
>    \[ f(x) = {1\over\sigma\sqrt{2\pi}}
>    e^{-{1\over2}\left({x-\mu\over\sigma}\right)^2} \]
>
> The content is breaking, just not at exactly the line breaks in the
> HTML source.

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.

Rudy
-- 
"'Obvious' is all too often a synonym for 'wrong'."
--- Jeff Erickson, Algorithms, 2019

Rudolf Adamkovič <rudolf@adamkovic.org> [he/him]
http://adamkovic.org



reply via email to

[Prev in Thread] Current Thread [Next in Thread]