Glossary of Notation

The same letter may denote different objects in different application chapters. This glossary records the stable conventions of the lincs framework. Types, declarations, and local definitions in the chapters take precedence whenever a symbol is specialized.