Introduction to synthesis
-------------------------

The following commands are executed by the ``synth`` command:

.. literalinclude:: /cmd/synth.rst
   :start-at: begin:
   :end-before: .. raw:: latex
   :dedent:
