%%%%%%%%%%%%%%%%%%%%%
%     Doc Class     %
%%%%%%%%%%%%%%%%%%%%%
\documentclass[12pt,twoside,danish]{report}
\usepackage{fixltx2e}
%%%%%%%%%%%%%%%%%%%%%
%     Encoding      %
%%%%%%%%%%%%%%%%%%%%%
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}

%%%%%%%%%%%%%%%%%%%%%
%   Nice chapters   %
%%%%%%%%%%%%%%%%%%%%%
\usepackage{titlesec, blindtext, color}
\definecolor{gray75}{gray}{0.75}
\newcommand{\hsp}{\hspace{20pt}}
\titleformat{\chapter}[hang]{\Huge\bfseries}{\thechapter\hsp\textcolor{gray75}{|}\hsp}{0pt}{\Huge\bfseries}

%%%%%%%%%%%%%%%%%%%%%
%      English      %
%%%%%%%%%%%%%%%%%%%%%
\usepackage[english]{babel}

%%%%%%%%%%%%%%%%%%%%%
%     Multiline		%
%     Comments		%
%%%%%%%%%%%%%%%%%%%%%
\usepackage{verbatim}

%%%%%%%%%%%%%%%%%%%%%
%      Figurer      %
%%%%%%%%%%%%%%%%%%%%%
\usepackage{graphicx}
\usepackage{float}

%%%%%%%%%%%%%%%%%%%%%
%    Hyperlinks     %
%%%%%%%%%%%%%%%%%%%%%
%\usepackage[colorlinks,linkcolor=black]{hyperref}
\usepackage[hidelinks]{hyperref}

%%%%%%%%%%%%%%%%%%%%%
%     Billeder      %
%%%%%%%%%%%%%%%%%%%%%
\newcommand{\fig}[3]{\includegraphics[#1]{./dele/#2/billeder/#3}}

%%%%%%%%%%%%%%%%%%%%%
%    PDF include    %
%%%%%%%%%%%%%%%%%%%%%
\usepackage{pdfpages}

%%%%%%%%%%%%%%%%%%%%%
%     Footnotes     %
%%%%%%%%%%%%%%%%%%%%%
\usepackage[bottom]{footmisc}

%%%%%%%%%%%%%%%%%%%%%
%     PDF KEYS      %
%%%%%%%%%%%%%%%%%%%%%
\hypersetup{pdftitle={..}}
\hypersetup{pdfauthor={..)}}
\hypersetup{pdfkeywords={..}}
\hypersetup{pdfsubject={..}}

%%%%%%%%%%%%%%%%%%%%%
%   Bibliografy     %
%%%%%%%%%%%%%%%%%%%%%
\usepackage[numbers]{natbib}
\bibliographystyle{unsrtnat}

%%%%%%%%%%%%%%%%%%%%%
%     Semantics		%
%%%%%%%%%%%%%%%%%%%%%
\usepackage{semantic}

%%%%%%%%%%%%%%%%%%%%%
%   Head + foot     %
%%%%%%%%%%%%%%%%%%%%%
\usepackage{fancyhdr}
\pagestyle{fancy}
\fancypagestyle{plain}

\renewcommand{\footrulewidth}{0.4pt}
%\renewcommand{\familydefault}{\sfdefault}


% Nulstilling af felter der ikke bruges
\fancyhf{}

% Header
\fancyhead[RO]{\leftmark}	% Right Odd - Chapter name
\fancyhead[LO]{Home automation}		% Left Odd - Title

\fancyhead[LE]{\leftmark}	% Left Even - Chapter name
\fancyhead[RE]{Home automation}		% Right Even - Title

% Footer
\fancyfoot[RO]{\thepage}	% Right Odd - page number
\fancyfoot[LE]{\thepage}	% Left Even - page number

\fancyfoot[RE]{\rightmark}	% Right Even - section name
\fancyfoot[LO]{\rightmark}	% Right Odd - section name

%%%%%%%%%%%%%%%%%%%%%
%    Andre items    %
%%%%%%%%%%%%%%%%%%%%%
\usepackage{pifont}
\usepackage{tabularx} % in the preamble
\usepackage[section]{placeins} % Keep floats in their respective sections.

%%%%%%%%%%%%%%%%%%%%%
%    Række farver   %
%%%%%%%%%%%%%%%%%%%%%
\definecolor{oddrow}{RGB}{200,200,200}
\definecolor{evenrow}{RGB}{240,240,240}
\usepackage[table]{xcolor}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Fancy captions + headers %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{caption}
\DeclareCaptionFont{white}{\color{white}}
\DeclareCaptionFormat{listing}{\colorbox{gray}{\parbox{\textwidth}{#1#2#3}}}
\captionsetup[lstlisting]{format=listing,labelfont=white,textfont=white}

\newcommand{\fancyheader}[1]{\colorbox{gray}{\parbox{\textwidth}{\textcolor{white}{#1}}}\vspace{0.05in}}

%%%%%%%%%%%%%%%%%%%%%
% Renews Lowercase  %
%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\chaptermark}[1]{\markboth{\thechapter\ #1}{}}
\renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}{}}

%%%%%%%%%%%%%%%%%%%
% Fjerner Indryk  %
%%%%%%%%%%%%%%%%%%%
\setlength{\parindent}{0in}

%%%%%%%%%%%%%%%%%%%
%   Code listing  %
%%%%%%%%%%%%%%%%%%%
%Egne farver%
\definecolor{grey}{RGB}{200,200,200}
\definecolor{comments}{RGB}{0,128,0}
\definecolor{define}{RGB}{128,64,0}
\definecolor{enums}{RGB}{43,145,175}


\usepackage{listings}

%ÆØÅ i kode%
\lstset{inputencoding=ansinew}
\lstset{literate=%
{æ}{{\ae}}1
{å}{{\aa}}1
{ø}{{\o}}1
{Æ}{{\AE}}1
{Å}{{\AA}}1
{Ø}{{\O}}1
}

%Indstillinger for listings%
\lstset{
language = java,
numbers = left,
breaklines = true,
showstringspaces = false,
basicstyle = \scriptsize\ttfamily,
showspaces = false,
tabsize = 2,
commentstyle = \color{comments},
captionpos = t,
stringstyle = \color{red},
keywordstyle = \color{blue}
}

%Ekstra farve til classer%
\lstset{emph={
    UserInfo, Client, Server, Account, DataPacket, Chat, Todo, FileManager, TcpClient, NetworkStream, MemoryStream, BinaryFormatter, Bitconverter elseif endif
    },emphstyle={\color{magenta}}
}

\newcommand{\listcode}[6][ClientProg/LoginWindow.xaml.cs]
{
\lstinputlisting[language = {#2}, linerange={#3-#4}, firstnumber = #3, caption=#5, label=#6]{../Programmering/#1}
}

%Omdøbninger%
\renewcommand*\lstlistingname{Code example}
\renewcommand*\lstlistlistingname{Code examples}


% Tikz - Til tegning af figurer og andre tegninger %
\usepackage{tikz}
\usetikzlibrary{arrows,snakes,backgrounds}
\usepackage{tikz-3dplot}


% For Blank pages %
\newcommand{\blankpage}{
\newpage
\thispagestyle{empty}
\mbox{}
\newpage
}

\usepackage{multirow}

\usepackage[numbered]{bookmark}

\newcommand{\citat}[1]
{
``#1''
}

%%%%%%%%%%%%%%%%%%%
%   JSON Styling  %
%%%%%%%%%%%%%%%%%%%
\definecolor{background}{HTML}{EEEEEE}
\colorlet{punct}{red!60!black}
\definecolor{delim}{RGB}{20,105,176}
\colorlet{numb}{magenta!60!black}

\lstdefinelanguage{json}{
    literate=
     *{0}{{{\color{numb}0}}}{1}
      {1}{{{\color{numb}1}}}{1}
      {2}{{{\color{numb}2}}}{1}
      {3}{{{\color{numb}3}}}{1}
      {4}{{{\color{numb}4}}}{1}
      {5}{{{\color{numb}5}}}{1}
      {6}{{{\color{numb}6}}}{1}
      {7}{{{\color{numb}7}}}{1}
      {8}{{{\color{numb}8}}}{1}
      {9}{{{\color{numb}9}}}{1}
      {:}{{{\color{punct}{:}}}}{1}
      {,}{{{\color{punct}{,}}}}{1}
      {\{}{{{\color{delim}{\{}}}}{1}
      {\}}{{{\color{delim}{\}}}}}{1}
      {[}{{{\color{delim}{[}}}}{1}
      {]}{{{\color{delim}{]}}}}{1},
}

%%%%%%%%%%%%%%%%%%%
%   Name of lang  %
%%%%%%%%%%%%%%%%%%%
\newcommand{\name}{HOME\texttrademark}

%%%%%%%%%%%%%%%%%%%
%    Nice tilde   %
%%%%%%%%%%%%%%%%%%%
\newcommand{\niceTilde}{\raise.17ex\hbox{$\scriptstyle\sim$}}

%%%%%%%%%%%%%%%%%%
%  Strikethrough %
%%%%%%%%%%%%%%%%%%
\usepackage{soul}




\begin{document}

%------- Appendix ----------------------%
\appendix
\chapter{Transition rules}
\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}+a_{2} -> v}\; Where\; v = v_{1} + v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Addition}
\end{figure}


\end{document}