1\documentclass{article}
 2\usepackage[english]{babel}
 3
 4% Use packages
 5\usepackage{hhline}
 6\usepackage{booktabs}
 7\usepackage{amsmath}
 8\usepackage{amssymb}
 9\usepackage{amsthm}
10\usepackage{enumitem}
11\usepackage{graphicx}
12\usepackage{wrapfig}
13\usepackage{mathtools}
14
15\graphicspath{ {../res} }
16
17\title{Error-correcting codes}
18\author{Marco Andronaco}
19
20\theoremstyle{definition}
21\newtheorem{definition}{Definition}
22
23\newtheorem{theorem}{Theorem}
24\newtheorem{proposition}{Proposition}
25\newtheorem{lemma}{Lemma}
26
27\theoremstyle{definition}
28\newtheorem{example}{Example}
29
30\theoremstyle{definition}
31\newtheorem*{remark}{Remark}
32
33
34\makeatletter
35\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
36  \hskip -\arraycolsep
37  \let\@ifnextchar\new@ifnextchar
38  \array{#1}}
39\makeatother
40
41\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
42
43\begin{document}