ctan-ann - propositions Announcements of the Comprehensive TeX Archive Network ctan-ann-propositions 2026-08-04T18:31:09Z New on CTAN: propositions 4ed7ec8fc34966e5@hogwart 2026-08-04T12:03:51Z Cian Dorr submitted the propositions package. ... Cian Dorr submitted the propositions package. Version: 0.9 License: lppl1.3c Summary description: Typeset and cross-reference named and numbered propositions Announcement text:
The propositions package is a new LaTeX package for typesetting and cross-referencing named and numbered displayed propositions (examples, theses, premises...).  Cross-references can include customizable formatting; the appearance of proposition labels and cross-references is controlled by a flexible key-value interface.  For example: if one writes \begin{prop} \item[Monism, format=\textsc{#1}] \label{mon} All is one \end{prop} \ref{mon}, one will get a description-like list with 'Monism' in small caps, and the subsequent \ref{mon} will also produce 'Monism' in small caps.
This package is located at ... ]]> CTAN Announcements ctan-ann at ctan.org