Definition:Table of Alpha-Formulas