The Gross-Zagier formula on singular moduli for Shimura curves | Synapse