Commit 1810298a authored by Quentin Aristote's avatar Quentin Aristote
Browse files

set up environment

parent 18f9f22f
\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{dsfont}
\usepackage{stmaryrd}
\usepackage{hyperref}
\usepackage{tikz-cd}
\usepackage{booktabs}
\usepackage{makecell}
\usepackage{tabularx}
\newtheorem{definition}{Definition}[subsection]
\newtheorem{corollary}[definition]{Corollary}
\newtheorem{lemma}[definition]{Lemma}
\newtheorem{proposition}[definition]{Proposition}
\newtheorem{theorem}[definition]{Theorem}
\newtheorem{remark}[definition]{Remark}
\newtheorem{example}[definition]{Example}
\newcommand{\sem}[1]{\left\llbracket#1\right\rrbracket}
\newcommand{\clatfibration}{$\mathbf{CLat}_\sqcap$-fibration}
\newcommand{\Cmu}{$\mathbf{C\mu}_{\Gamma,\Lambda}$}
\newcommand{\seq}[3][1]{#2_{#1},\allowbreak\ldots,#2_{#3}}
\newcommand{\ellipsis}[5][\cdots]{#2_{#3}#4#1#4#2_{#5}} % chktex 11
\newcommand{\family}[3]{\left(#1_{#2}\right)_{#3}}
\newcommand{\place}{\underline{\phantom{n}}\,} % place holder
\newcommand{\drarrow}{\mathrel{\dot\rightarrow}}
\newcommand{\bigmid}{\ \middle|\ }
\newcommand{\Pred}[1][\Omega]{\mathbf{Pred}_{#1}}
\newcommand{\ERel}[1][\Omega]{\mathbf{ERel}_{#1}}
\DeclareMathOperator{\Obj}{Obj}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\pr}{pr}
\DeclareMathOperator{\new}{new}
\DeclareMathOperator{\sym}{sym}
% ChkTex parameters
% chktex-file 3
% chktex-file 18
% chktex-file 36
\begin{document}
\title{Fibrational Framework for Nested Fixed Points and (Bi)Simulation Notions for B\"uchi
Automata
\large M1 internship report}
\author{Quentin Aristote}
\date{August the 28th, 2020}
\maketitle
\bibliography{biblio.bib}
\bibliographystyle{splncs04}
\end{document}
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment