sty: map \hat to \widehat
sty: add \ddx[x^k]{u} for convenient derivatives
ana4: fix
ana4: chapter 4 up until 4.19 revised