Move iris.sty towards being a community standard
My impression is that there a multiple people who take inspiration from the iris.sty
file
when writing papers about Iris.
For one, we use (a variant of) it in the Iris Lecture Notes (Soon to be publicly available).
I find that it would be beneficial to have a "community standard" for this collection of macros,
to guarantee that notation is uniform throughout Iris papers (while of course authors should be free to diverge from the standard as need be).
To achieve this the style-file should be kept up to date with changing notation, terminiology, etc.
While good effort has already been put towards this, I find that more improvements could be made, e.g. by reviewing the current file on terms such as:
- Completeness of the macro set (For one there is currently no
\pointsto
) - Names of the macros (For one
\always
seem outdated in terms of the current "persistently" terminology) - Notation of the macros
- Formatting of macros (kerning, squashing, etc.)
The merge request !851 is an attempt at an initial step in this direction.