[NTG-context] Re: old style factorial symbol and theorems