  We apply Weyl $n$-algebras to prove formality theorems for higher Hochschild
cohomology. We present two approaches: via propagators and via the
factorization complex. It is shown that the second approach is equivalent to
the first one taken with a new family of propagators we introduce.
