The symplectic Lazard ring