  The monoidal category of Soergel bimodules can be thought of as a
categorification of the Hecke algebra of a finite Weyl group. We present this
category, when the Weyl group is the symmetric group, in the language of planar
diagrams with local generators and local defining relations.
