Files
@ 7909b19774b8
Branch filter:
Location: AENC/resampling_chain/diagram_proborders.tex - annotation
7909b19774b8
1.5 KiB
text/x-tex
Try but failed to add alternative proof notation
fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df | \documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage{marvosym} %Lightning symbol
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}
\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}
\draw[gray] (0,0) -- (10,0);
\draw[dotted] (0,2) -- (10,2);
\draw[gray] (0,2) arc (90:270:1);
\draw[gray] (10,0) arc (-90:90:1);
\foreach \x in {0,...,10} {
\draw (\x,0) circle (0.04);
}
\foreach \a in {-3,...,3} {
\draw (10,1)+({\a*20}:1) circle (0.04);
\draw (0,1)+({180+\a*20}:1) circle (0.04);
}
\foreach \x in {0,...,10} {
\draw (\x,0.3) node {$\x$};
}
\foreach \x in {2,4,6,7} {
\draw[fill,red] (\x,-0.5) circle (0.05);
\draw[fill,blue] (\x,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
}
\foreach \x in {3,5,8} {
\draw (\x,-1.5) circle (0.07);
}
\draw[fill,red] (9,-0.5) circle (0.05);
\draw (2,1) node {$I_\mathrm{min}$};
\draw (9,1) node {$I_\mathrm{max}$};
\draw (10.7,-0.2) rectangle (12.0,-1.8);
\draw[fill,red] (11,-0.5) circle (0.05);
\draw (11.5,-0.5) node {$I$};
\draw[fill,blue] (11,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
\draw (11.5,-1.0) node {$I'$};
\draw (11,-1.5) circle (0.07);
\draw (11.6,-1.5) node {$I_{><}$};
\draw (5,1) node {$k$};
\end{tikzpicture}
\end{document}
|