Djot's LaTeX math unsupported

[dcnorris]

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

[aarroyoc]

Math fragments are not implemented yet, it might be tricky I guess

[dcnorris]

The conversion seems to work fine on Djot's playground. Might there be an issue with Djot version supplied with doclog?

---

Ah, or maybe you mean not yet implemented in djota?