MoreMathIntoLatex/multplicationtable.tex at master · davidgrenier/MoreMathIntoLatex · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
\documentclass[]{amsart}
\usepackage[makeroom]{cancel}
\usepackage[margin=3.5cm]{geometry}
\usepackage{graphicx}
\usepackage{amsmath,amsthm,esint}
\usepackage{amssymb}
\usepackage{hhline}
\usepackage{lineno}
\usepackage{siunitx}
\usepackage{mathtools}
\usepackage{tikz}
\usepackage[super]{nth}
\usepackage{centernot}
\usepackage{stackengine}
\usepackage{dcolumn}

\newcolumntype{2}{D{.}{}{2.0}}

\def\Mline#1{\hspace*{-\leftmargin}\parbox{\textwidth}{\begin{align*}#1\end{align*}}}
\NewDocumentCommand\overarrow{O{=} O{\uparrow} m}{%
    \overset{\makebox[0pt]{\begin{tabular}{@{}c@{}}\ensuremath{#3}\\[0pt]\ensuremath{#2}\end{tabular}}}{#1}
}
\newcommand\ringring[1]{{\mathop{\kern0pt #1}\limits^{\vbox to-1.85ex{\kern-2ex\hbox to 0pt{\hss\normalfont\kern.1em \r{}\kern-.45em \r{}\hss}\vss}}}}
\newcommand\ph{\ensuremath{\mathrel{\boxed{\mathstrut\phantom{abc}}}}}
\newcommand\opn[1]{\operatorname{#1}}
\newcommand\var[1]{\opn{Var}\left(#1\right)}
\newcommand\esp[1]{\opn E{\left[#1\right]}}
\newcommand\esps[1]{\opn E^2{\left[#1\right]}}
\newcommand\cov[2]{\opn{Cov}\left(#1,#2\right)}
\newcommand\prob[1]{\opn{P}\!\left[#1\right]}
\newcommand\ol[1]{\overline{#1}}
\newcommand{\ubar}[1]{\text{\b{$#1$}}}
\renewcommand\gcd[2]{\opn{pgcd}(#1,#2)}
\newcommand\op[1]{\ol{\vphantom b#1}}
\newcommand\fl[1]{\opn{fl}{(#1)}}

\begin{document}
\centering
% V\'erifier que $\mathbb F_4$ est un corps:\\
\begin{table}[h]
\setlength\doublerulesep{0pt}
\renewcommand\arraystretch{1.3}
\begin{tabular}{r||*{4}{2|}}
    + &0 &1\\\hline\hline
    0 &0 &1\\\hline
    1 &1 &0\\\hline
\end{tabular}\quad
    \text{plut\^ot que}
    \quad
\begin{tabular}{r||*{4}{2|}}
    ${}\cdot{}$ &0 &1\\\hline\hline
    0 &0 &0\\\hline
    1 &0 &1\\\hline
\end{tabular}
\end{table}
\end{document}