7 \usepackage{amsmath}

     7 \usepackage{amsmath}

     8 \usepackage{amssymb}

     8 \usepackage{amssymb}

     9 \usepackage{pdfsetup}

     9 \usepackage{pdfsetup}

    10 \usepackage{tikz}

    10 \usepackage{tikz}

    11 \usepackage{pgf}

    11 \usepackage{pgf}

    12 \usepackage{verbdef}

    13 \usepackage{verbdef}

    13 \usepackage{longtable}

    14 \usepackage{longtable}

    14 \usepackage{mathpartir}

    15 \usepackage{mathpartir}

    15 \newtheorem{definition}{Definition}

    16 \newtheorem{definition}{Definition}

    16 \newtheorem{proposition}{Proposition}

    17 \newtheorem{proposition}{Proposition}

    18 

    19 

    19 \urlstyle{rm}

    20 \urlstyle{rm}

    20 \isabellestyle{rm}

    21 \isabellestyle{rm}

    21 \renewcommand{\isastyleminor}{\rm}%

    22 \renewcommand{\isastyleminor}{\rm}%

    22 \renewcommand{\isastyle}{\normalsize\rm}%

    23 \renewcommand{\isastyle}{\normalsize\rm}%

    26 \verbdef\doublearr|===>|

    27 \verbdef\doublearr|===>|

    27 \verbdef\tripple|###|

    28 \verbdef\tripple|###|

    28 

    29 

    29 \renewcommand{\isasymequiv}{$\triangleq$}

    30 \renewcommand{\isasymequiv}{$\triangleq$}

    30 \renewcommand{\isasymemptyset}{$\varnothing$}

    31 \renewcommand{\isasymemptyset}{$\varnothing$}

    31 %%\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    32 %%\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    32 \renewcommand{\isasymUnion}{$\bigcup$}

    33 \renewcommand{\isasymUnion}{$\bigcup$}

    33 

    34 

    36 \newcommand{\isasymtripple}{\tripple}

    37 \newcommand{\isasymtripple}{\tripple}

    37 

    38 

    38 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}

    39 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}

    39 

    40 

    40 \begin{document}

    41 \begin{document}