A new test-case for pretty-printing field selections to TeX
Define \HOLFieldName macro rather than \HOLFldName

Bug spotted by Ramana.