Table of Symbols for proof connection Extracted from / 

 -  1958.