]> matita.cs.unibo.it Git - fireball-separation.git/blob - calculus/preambolo.tex
git status! separation problem seems now undecidable git status!
[fireball-separation.git] / calculus / preambolo.tex
1 \usepackage[english]{babel}
2 \usepackage[utf8]{inputenc}
3 \usepackage{amsmath, amsthm, amssymb}
4 \usepackage[ruled,vlined]{algorithm2e}
5 \usepackage{verbatim}
6 \usepackage{xcolor}
7 \usepackage{stmaryrd}
8 \usepackage[normalem]{ulem}
9
10 % \theoremstyle{definition}
11 \newtheorem{theorem}{Theorem}
12 \newtheorem{lemma}[theorem]{Lemma}
13 % \newtheorem{corollary}[theorem]{Corollary}
14 \newtheorem{notation}[theorem]{Notation}
15 \newtheorem{definition}[theorem]{Definition}
16 \newtheorem{fact}[theorem]{Fact}
17
18
19
20 \newcommand{\commento}[1]{\textcolor{orange}{#1}}