4.10. پیوست: نمادگذاری ریاضی
در چند جای این راهنما، از «درختهای اثبات» صوری برای تعریف استنتاج طبیعی-محور انواع روابط استفاده شده است.
در این بخشها از گرامر و انتساب متامناغیرها به دستههای نحوی زیر استفاده میشود:
\begin{align} s, t &\in \text{store-path} \\ o &\in \text{output-name} \\ i, p &\in \text{deriving-path} \\ d &\in \text{derivation} \end{align}
\begin{align} \text{deriving-path} \quad p &::= s \mid (p, o) \end{align}