html: unicode bra,ket symbols
nicer html array formatting
fixes for html array printing