latex fiddling

- MnSymbol is gone, I hope that's ok!
- slightly tighter \boxed boxes
- different * symbol
- use \llbracket, \llparenthesis when relevant