formal.tex: fix recent misprint in coproduct rules in A.2