42 \usepackage[T1]{fontenc} % Output font encoding for international characters

    42 \usepackage[T1]{fontenc} % Output font encoding for international characters

    43 %\usepackage{fdsymbol} % Loads unicode-math

    43 %\usepackage{fdsymbol} % Loads unicode-math

    44 

    44 

    45 \usepackage{mathpazo} % Use the Palatino font by default

    45 \usepackage{mathpazo} % Use the Palatino font by default

    46 \usepackage{hyperref}

    46 \usepackage{hyperref}

    47 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA)

    48 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA)

    48 \usepackage{stmaryrd}

    49 \usepackage{stmaryrd}

    49 \usepackage{caption}

    50 \usepackage{caption}

    50 

    51 

    51 \addbibresource{example.bib} % The filename of the bibliography

    52 \addbibresource{example.bib} % The filename of the bibliography

    66 \usepackage{enumitem}

    67 \usepackage{enumitem}

    67 \usepackage{nccmath}

    68 \usepackage{nccmath}

    68 \usepackage{tikz-cd}

    69 \usepackage{tikz-cd}

    69 \usepackage{tikz}

    70 \usepackage{tikz}

    70 \usetikzlibrary{automata, positioning, calc}

    71 \usetikzlibrary{automata, positioning, calc}

    71 \usepackage{mathpartir}

    74 \usepackage{mathpartir}

    72 

    75 

    73 

    76 

    74 \DeclareCaptionType{mytype}[Illustration][]

    77 \DeclareCaptionType{mytype}[Illustration][]

    75 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{}

    78 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{}

   268 

   271 

   269 

   272 

   270 \newtheorem{theorem}{Theorem}

   273 \newtheorem{theorem}{Theorem}

   271 \newtheorem{lemma}{Lemma}

   274 \newtheorem{lemma}{Lemma}

   272 \newtheorem{definition}{Definition}

   275 \newtheorem{definition}{Definition}

   273 %proof

   277 %proof

   274 

   278 

   275 

   279 

   276 \newcommand\sflat[1][]{\textit{sflat} \, #1}

   280 \newcommand\sflat[1][]{\textit{sflat} \, #1}

   277 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}

   281 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}