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.
I am not the first to want this: https://github.com/mathjax/MathJax/issues/1143
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!