deletions | additions       diff --git a/For_any_set_A_show__.tex b/For_any_set_A_show__.tex  index 7fe6e42..fcb2229 100644  --- a/For_any_set_A_show__.tex  +++ b/For_any_set_A_show__.tex 
...
\usetikzlibrary{positioning,shapes,fit,arrows}  \definecolor{myblue}{RGB}{56,94,141}  \begin{document}  \begin{tikzpicture}[line width=1pt,>=latex]  \sffamily