This is really awesome! Chrome dropped support for MathML quite intentionally, which really is a bummer.

Thank you for your contributions.
This has been automatically marked as stale because it has had no activity for 180 days.
If this is still important to you, we ask that you leave a comment below. Your comment can be as simple as "still important to me". This lets people see that at least one person still cares about this. Someone will have to do this at most twice a year if there is no other activity.
Here are suggestions that might help resolve this more quickly:

1. Search for maintainers and people that previously touched the
   related code and @ mention them in a comment.
2. Ask on the NixOS Discourse. 3. Ask on the #nixos channel on
   irc.freenode.net.

I marked this as stale due to inactivity. → More info

I like this, can it be updated to work with the markdown rewrites?

I marked this as stale due to inactivity. → More info

Still important to me. The ascii natural deduction is awkward IMO.

Yeah I like this a lot too.

might be worth doing as wikipedia and others do and write all this as latex, then render it in the browser with something like LaTeX.js. that mathm, while pretty, is at odds with moving the nixpkgs docs to use nixos-render-docs (if that is even ever a goal)