equal
deleted
inserted
replaced
79 \relax#4#1 |
79 \relax#4#1 |
80 \xleaders\hbox{$#4#2$}\hfill |
80 \xleaders\hbox{$#4#2$}\hfill |
81 #3$% |
81 #3$% |
82 } |
82 } |
83 \makeatother |
83 \makeatother |
|
84 \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} |
84 |
85 |
85 \usepackage{amsthm} |
86 \usepackage{amsthm} |
86 \usepackage{amssymb} |
87 \usepackage{amssymb} |
87 \usepackage{cleveref} |
88 \usepackage{cleveref} |
88 %\usepackage{mathtools} |
89 %\usepackage{mathtools} |
90 \usepackage{enumitem} |
91 \usepackage{enumitem} |
91 \usepackage{nccmath} |
92 \usepackage{nccmath} |
92 \usepackage{tikz-cd} |
93 \usepackage{tikz-cd} |
93 \usepackage{tikz} |
94 \usepackage{tikz} |
94 \usetikzlibrary{automata, positioning, calc} |
95 \usetikzlibrary{automata, positioning, calc} |
|
96 \usetikzlibrary{arrows} |
95 \usetikzlibrary{fit, |
97 \usetikzlibrary{fit, |
96 shapes.geometric, |
98 shapes.geometric, |
97 patterns, |
99 patterns, |
98 backgrounds, |
100 backgrounds, |
99 graphs} |
101 graphs} |