  The monoidal category of Soergel bimodules is an incarnation of the Hecke
category, a fundamental object in representation theory. We present this
category by generators and relations, using the language of planar
diagrammatics. We show that Libedinsky's light leaves give a basis for morphism
spaces and give a new proof of Soergel's classification of the indecomposable
Soergel bimodules.
