Explicit Gross–Zagier and Waldspurger formulae | Synapse