Is there an easy way to get MathJax to give me `\llbracket` and `\rrbracket`?
Pandoc without MathJax supports them as〚 and 〛. When I add the `--mathjax` flag they disappear.
@twsh you could try just using the unicode characters. They won't stretch, though
@christianp Unfortunately, Beamer output complains if I do that. I could replace the macro with the character as part of my make rule for HTML output. But that seems excessive compared to just using `[[`.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!