\begin{align}
r_{xx}(t) &\equiv \avg{x(\tau)\conj{x}(\tau-t)} \;,
&\text{\citep{wikipedia-wiener-khinchin}}
+ \label{eq:autocorrelation}
\end{align}
and $\conj{x}$ represents the complex conjugate of $x$.
+%
+\nomenclature{$S_{xx}(\omega)$}{Two sided power spectral density in
+ angular frequency space (\cref{eq:wiener_khinchin}).}
+\nomenclature{$r_{xx}(t)$}{Autocorrelation function
+ (\cref{eq:autocorrelation}).}
\nomenclature{$\conj{z}$}{Complex conjugate of $z$}
\subsection{Highly damped case}