[NTG-context] larger dot using \dot?