Title: The Pitman dictionary of English and shorthand