<titleabbrev>symmetry</titleabbrev>
<para>The tactic <command>symmetry</command> </para>
<para><userinput>symmetry </userinput></para>
<para>
<variablelist>
<titleabbrev>symmetry</titleabbrev>
<para>The tactic <command>symmetry</command> </para>
<para><userinput>symmetry </userinput></para>
<para>
<variablelist>