Thank you for pointing this out. The issue is that the font we are using in the console window (Consolas) does not support a large enough subset of Unicode. We are working on transitioning over to DejaVu Sans Mono, which supports a much larger subset of Unicode, and will show the matrix brackets correctly.