Advanced equation typesetting, "Nota" Re: Colored equations? (particularly compiling to HTML)

[Gwern Branwen <gwern-v26ZT+9V8bxeoWH0uzbU5w@public.gmane.org>]

Will Crichton has a demo of an advanced equation system he calls
"Nota" https://willcrichton.net/nota/ It is currently Tex/HTML-centric
https://github.com/willcrichton/nota but he has some prototype code
for Markdown version
https://github.com/willcrichton/nota/tree/master/packages/nota-markdown
and so what his system does might be of interest.

> "A New Medium for Communicating Research on Programming Languages", Will Crichton
>
> Papers about programming languages involve complex notations, systems, and proofs. Static PDFs offer little support in understanding such concepts. I describe Nota, a framework for academic papers that uses the browser's interactive capabilities to support comprehension in context. Nota uses hover effects, tooltips, expandable sections, toggleable explanations, and other interactions to help readers understand a language's syntax and semantics. I demonstrate the use of Nota by rewriting a PL paper using its primitives, and also by writing this paper in Nota.

Nota supports most of the usual typography and conveniences like SVG
or margin notes, but the important part is the syntax highlighting for
math.

The basic idea is to annotate equation elements with popup
capabilities, pointing to their definition in the body text. Any
variable 't' can be linked to its definition in the text as being "the
time variable" etc. The definitions themselves may use defined
elements, and can be popped up again, and so on. Because the equations
are parsed into the elements instead of being opaque TeX expressions
or PNG raster images, they can be colored for syntax highlighting of
English vs math: hover over a purple-underlined variable $\pi~mut~$
and and the purple-underlined phrase ' of what the reference
points-to.' is highlighted. (He could color the whole text but that
can lead to issues with readability.)

For kicks, it can run sandboxed code server-side so you can edit Rust
code inside the page, and run it to see the results.

Pretty neat, and worth a look.

--
gwern

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CAMwO0gy8VefAFb2SuddrH97W9ChR4wiDdxSAvLogG23R268QMQ%40mail.gmail.com.