Use ugly double square brackets to fix MathJax problem (fixes Issue #163)

Problem is that MathJax does not support \llbracket and \rrbracket