4>
<p>All these tags will be escaped by <span class="I">prexml</span> if they are present in the
original file, following these rules:</p>
<ul><li><span class="B">#˜[</span>: Replaced by <span class="B">#˜˜[</span>.</li>
<li><span class="B">#˜]</span>: Replaced by <span class="B">#˜˜]</span>.</li>
<li><span class="B">#˜(</span>: Replaced by <span class="B">#˜˜(</span>.</li>
<li><span class="B">#˜)</span>: Replaced by <span class="B">#˜˜)</span>.</li>
<li><span class="B">#˜˜</span>: Replaced by