Introduction to synthesis
-------------------------
The following commands are executed by the ``synth`` command:
.. literalinclude:: /cmd/synth.rst
:start-at: begin:
:end-before: .. raw:: latex
:dedent: