On Fri, Feb 03, 2023 at 08:34:19AM -0700, Hal Kierstead via lyx-users wrote: > I use this for most papers in the sense (a). Why delete it? Note that ???Acknowledgment??? is suggested in the amsthm instructions???just like ???Lemma". Ha :) Can you point me to any paper of yours, where this is used? Pavel