[NTG-context] Hat with \widehat is not satisfactory