Title: Table of symbols for proof correction