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

Problem is that MathJax does not support \llbracket and \rrbracket
Merge branch 'master' into next