The scalar product formula for parahoric Deligne--Lusztig induction | Synapse