Some test-cases for LaTeX munging with/without type abbreviations Inspired by a message to hol-info by Ramana Kumar.