- fix LaTeX-output bug reported by Stefan, remove obsolete has(matrix,ex).