Djot's LaTeX math unsupported #15
Description
This documentation header
%% erf(+X, -Erf)
%
% Erf is erf(X) for $`X \in \mathbb{R}`, where
%
%
% $$` \text{erf}(x) = \frac{2}{\pi} \int_0^x e^{-t^2} \d t. `
%
%
erf(X, Erf) :-
builtins:must_be_number(X, erf/2),
'$erf'(X, Erf).yields this HTML fragment
<div class="predicate" id="erf/2">
<h4>erf(+X, -Erf)</h4>
<div><p>Erf is erf(X) for $<code>X \in \mathbb{R}</code>, where</p><p>$$<code> \text{erf}(x) = \frac{2}{\pi} \int_0^x e^{-t^2} \d t. </code></p></div>
</div>in which <code> blocks appear in place of the <span class="math inline"> and <span class="math display"> I would expect from Djot documentation:
https://htmlpreview.github.io/?https://github.com/jgm/djot/blob/master/doc/syntax.html#math