[General] Add more aliases
All checks were successful
Update helpers / build_helpers (push) Successful in 23s

This commit is contained in:
2026-02-25 18:23:03 +01:00
parent 449ad7d31f
commit 4edab93a9f
2 changed files with 426 additions and 422 deletions

View File

@@ -46,6 +46,8 @@
\newcommand{\inlineproof}[1][NONAME]{\unnumberedInline[#1]{proof}}
\newcommand{\inlineterm}[1][NONAME]{\unnumberedInline[#1]{term}}
\newcommand{\inlinenotation}[1][NONAME]{\unnumberedInline[#1]{notation}}
\newcommand{\shortproof}[1][NONAME]{\unnumberedShort[#1]{proof}}
\newcommand{\shortterm}[1][NONAME]{\unnumberedShort[#1]{term}}
\newcommand{\shortnotation}[1][NONAME]{\unnumberedShort[#1]{notation}}