Add LaTeX support for documentation generation

[adrian052]

This PR addresses the request for LaTeX support mentioned in #1062. It introduces the following enhancements:

• Custom LaTeX Markers: Added support for #[ ]# markers to denote LaTeX content in documentation.
• MathJax Integration: The MathJax library was included to render mathematical formulas directly in the browser.

Example Usage

This documentation from aiken:

/// #[g^{z} = g^{r +c \cdot x} = g^{r} g^{x \cdot c} = g^{r} (g^{x})^{c} = g^{r} u^{c}]#
/// #[\blacksquare]#

will show:

$$ g^{z} = g^{r + c \cdot x} = g^{r} g^{x \cdot c} = g^{r} (g^{x})^{c} = g^{r} u^{c} $$

$$ \blacksquare $$

I'm open to any suggestions about the delimiters or the approach for rendering the formulas. 🚀

[KtorZ]

Hey, we probably don't need to inject this from the rust side, but can directly add it to the doc template: https://github.com/aiken-lang/aiken/blob/main/crates/aiken-project/templates/_layout.html#L3-L12

[KtorZ]

Ho, nice! I was looking into it actually the other day after seeing your message in #1062, mostly to see if the underlying markdown generation tool we use would support it out of the box.

And, turns out they do actually have something!

--> pulldown-cmark/pulldown-cmark#734

Though the feature is pretty minimalist, in the sense that it justs isolate the formula in between <span class="math inline">``</span>; and the detection on their end is done using the classic $ and $$$.

So it sounds like perhaps a good mix to include with the PR (enable the math feature, and use their detection as boundary for the MathJax lib ?)

[KtorZ]

Also, someone (@mpizenberg) has been bringing Katex (instead of MathJax) --> https://katex.org/ as a better Math renderer?

[adrian052]

I have switched to Katex and used cmark-pulldown delimiters in a new commit.