example_prob2.tex

\begin{figure}[htb]
    \vspace{2\baselineskip}
    \begin{equation}
        \pr[\mathcal{R}(\tikzmarknode{ts}{\highlight{red}{$\tau_i$}},\tikzmarknode{js}{\highlight{blue}{$j$}})\in \mathcal{S}] \leq e^\epsilon \pr[\mathcal{R}(\tikzmarknode{td}{\highlight{red}{$\tau_i'$}},\tikzmarknode{jd}{\highlight{blue}{$j'$}})\in \mathcal{S}]
    \label{eq:dp_one_instance}
    \end{equation}
    \begin{tikzpicture}[overlay,remember picture,>=stealth,nodes={align=left,inner ysep=1pt},<-]
        % Ts to Td
        \path (ts.north) ++ (-1.5em,2em) node[anchor=south west,color=red!67] (scalep){\textbf{$\tau_i,\tau' \in \Gamma$}, \textbf{the set of Tasks}};
        \draw[<->,color=red!57] (ts.north) -- ++(0,0.67)  -| node[] {} (td.north);
        % js to jd
        \path (js.south) ++ (3em,-3.3em) node[anchor=south west,color=blue!67] (scalep){\textbf{$j,j'\in \mathbb{N}$}};
        \draw[<->,color=blue!57] (js.south) -- ++(0,-0.67)  -| node[] {} (jd.south);
    \end{tikzpicture}
    \vspace{\baselineskip}
    \caption{A More Complex Example for Annotated Equations, this time inside a figure contruct.}
\end{figure}