\begin{Fortress}
\(\KWD{component}\:\TYP{Factorial}\)\\
{\tt~~}\pushtabs\=\+\(  \KWD{export}\:\TYP{Executable}\)\\
\(  \VAR{factorial} ( n ) = \prod [\,i \leftarrow 1 \mathrel{\mathtt{:}}\:n\,]\:i\)\-\\\poptabs
\(\KWD{end}\)
\end{Fortress}