<!-- ============ Commands ====================== -->
<chapter id="sec_commands">
<title>Other commands</title>
- &TODO;
+ <sect1>
+ <title>Introduction</title>
+ <para>
+ &TODO;
+ </para>
+ </sect1>
+ <sect1 id="command_qed">
+ <title>Qed</title>
+ <para>&TODO;</para>
+ </sect1>
</chapter>