documentation.tex

\documentclass{scrartcl}

\usepackage{elite-texyz}

\title{elite-texyz}
\subtitle{A \LaTeX -package for and from SE students}
\date{}

\begin{document}

\maketitle

\newpage

\tableofcontents

\newpage

\section{Usage}
The aim of this package is to provide students of the Elite Graduate Program Software Engineering with \LaTeX -commands useful for creating documents for the Program's several courses.\\
\medskip
To use the package in your \LaTeX -document use the command \verb|\usepackage{elite-texyz}|.

\section{Commands}
\subsection{General}
\begin{tabular}{p{6cm}|l|l|c}
	\hline
	Description & Command & Example & Result\\
	\hline
	declaring a natural number $n$ & \verb|\ninN| & & $\ninN$ \\
	declaring an arbitrarilly named natural number & \verb|\inN{#1}| & \verb|\inN{i}| & $\inN{i}$ \\
	cartesian product over multiple sets & \verb|\bigcartesian| & \verb|\bigcartesian_{i=1}^n S_i| & $\bigcartesian_{i=1}^n S_i$\\
	\hline
\end{tabular}

\subsection{Modelling, Specification and Verification of Reactive Systems}
\begin{tabular}{p{6cm}|l|l|c}
	\hline
	Description & Command & Example & Result\\
	\hline
	set containing all possible traces on LTS-signature $\Sigma$ & \verb|\traces| & & $\traces$ \\
	finite run extendable into & \verb|\extinto| & & $\extinto$ \\
	weak transition in CSS & \verb|\xRightarrow{#1}| & \verb|\xRightarrow{a}| & $\xRightarrow{a}$ \\
	\hline
\end{tabular}

\end{document}