Note that now we can use unicode, there are specific matrix symbols which avoid the use of ugly ASCII art:

```
        ⎡               ⎤
        ⎢ A00, A01, A02 ⎥
        ⎢ A10, A11, A12 ⎥
        ⎢ 0,   0,   1   ⎥
        ⎣               ⎦
```
or more compactly:

```                   
        ⎡A00, A01, A02⎤
        ⎢A10, A11, A12⎥
        ⎣0,   0,   1  ⎦              
```