We use a list of symbols(cf.Table 1)for simplification of expression.
Table 1 Notations(https://www.daowen.com)
