DEPRECATION WARNING

This documentation is not using the current rendering mechanism and is probably outdated. The extension maintainer should switch to the new system. Details on how to use the rendering mechanism can be found here.

Users Manual¶

Target group: Editors

Abbreviation Record¶

Abbreviation records are used to define an abbreviation and the corresponding expression.