Abstract: This is a summary of three formulas over Shimura curves including the Gross-Zagier formula, the height formula of a CM point, and the modular height formula of Shimura curves. They are also proved in Yuan-Zhang-Zhang’s framework of the Gross-Zagier formula.
