\doc{Notational conventions}
\ref{notation}

See:

\begin{itemize}
\item \dlink{syntax}{Syntax descriptions}
\item \dlink{symbols}{Symbols}
\item \dlink{keyword}{Keywords}
\end{itemize}
