Porism 18.0.2.
This is a short little ditty that follows immediately from the previous proof.
<algorithm>s, but you need another theorem-like tag whose name you would like to have rendered as “Porism”. To do this, you need to add a <rename> element to the <docinfo> element of your code. For our example, the necessary code would be <rename element="algorithm">Porism</rename>. A <rename> element generates a global change; it is not possible to rename a single instance of an element or to define your own tags (without writing your own XSLT code.
<rename> code in this guide’s <docinfo>, and as such, we can do the following.
<algorithm> and <rename><!--********************************************************************
Copyright (C) 2019-2026 Robert A. Beezer
This file is part of PreTeXt.
PreTeXt is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 or version 3 of the
License (at your option).
PreTeXt is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with PreTeXt. If not, see <http://www.gnu.org/licenses/>.
*****************************************************************-->
<algorithm>
<statement>
<p>
This is a short little ditty that follows immediately from the previous proof.
</p>
</statement>
<proof>
<p>
We'll still include a proof though.
</p>
</proof>
</algorithm>
<exercise>s.<exercise> element with different names displayed (such as “Checkpoint” for an inline exercise), one cannot simply use @element with value exercise in a <rename> element. The value of @element to rename an <exercise> is as follows:divisionalexercise for an <exercise> inside <exercises>, <subexercises>, or <exercisegroup> with default “Exercise”inlineexercise for an inline exerise with default “Checkpoint”worksheetexercise for an <exercise> contained in a <worksheet> with default “Worksheet Exercise”readingquestion for an <exercise> contained in a <reading-questions> with default “Reading Question”