TeX: \limsup turns into 'lum sup' #70