Re: Ctrl-Enter handling is different whether AMS math is used explicitly or automatically

[Anders Host-Madsen]

Thanks for the tip. That solved one mystery for me.