A biographical dictionary of eminent Scotsmen/Arnot, Hugo