% • ▌ ▄ ·.  ▄▄▄· ▄▄▄▄▄ ▄ .▄  .▄▄ · ▄▄▄▄▄ ▄· ▄▌▄▄▌  ▄▄▄ .
% ·██ ▐███▪▐█ ▀█ •██  ██▪▐█  ▐█ ▀. •██  ▐█▪██▌██•  ▀▄.▀·
% ▐█ ▌▐▌▐█·▄█▀▀█  ▐█.▪██▀▀█  ▄▀▀▀█▄ ▐█.▪▐█▌▐█▪██ ▪ ▐▀▀▪▄
% ██ ██▌▐█▌▐█▪ ▐▌ ▐█▌·██▌▐▀  ▐█▄▪▐█ ▐█▌· ▐█▀·.▐█▌ ▄▐█▄▄▌
% ▀▀  █▪▀▀▀ ▀  ▀  ▀▀▀ ▀▀▀ ·   ▀▀▀▀  ▀▀▀   ▀ • .▀▀▀  ▀▀▀ 

% Math specific tcolorboxes
\newtcolorbox{formula}[2][]{mainboxstyle,colback=red!5!white,colframe=red!75!black,colbacktitle=red!75!black,title={\large #2},
overlay={\node[overlaystyle,draw=red!75!black,fill=red!75!black] at (frame.north east) {\large \ifnum\value{lang}<2{Formula}\else {Formel}\fi};},#1}


\newtcolorbox{proof}[2][]{arc=3mm,colback=magenta!5!white,colframe=magenta!75!black,colbacktitle=magenta!75!black,fonttitle=\bfseries,
enhanced,attach boxed title to top left={yshift=-2mm,xshift=5mm},title={\large #2},breakable,top=0.4cm,
overlay={\node[draw=magenta!75!black,thick,fill=magenta!75!black,left,anchor=east,text=white,rounded corners=1mm,font=\bfseries,
xshift=-5mm,yshift=1mm,inner xsep=3mm,inner ysep=1.5mm] at (frame.north east) {\large \ifnum\value{lang}<2{Proof}\else {Beweis}\fi};},#1}