Title: Table of symbols for proof correction (extracted from BS 1219: 1958)