documentclass[border=10pt]{standalone}
usepackage{amsmath}
usepackage{tikz}
usetikzlibrary{calc,arrows,decorations.pathmorphing,positioning}
tikzset{zz/.style={thick,->,
line join=round,
decorate, decoration={
    zigzag,
    segment length=4,
    amplitude=2,post=lineto,
    post length=4pt}
}}
begin{document}
begin{tikzpicture}
node (top) at (0,0) {$mathbf{v}_{init},epsilon$};
node[below= 1cm of top](mid) {$mathbf{v},sigma$};
node[below= 2cm of top](bottom) {$mathbf{v}',sigma'$};
node [below=2.5 of top](bb){};
draw[zz] (top) -- (mid);
draw[zz] (mid) -- node[midway,red,left]{$(mathbf{u},rho)$} (bottom);
draw [red,thick]($(bb)+(-0.5cm,0)$)-- ($(bb)+(0.5cm,0)$) node[text width=5cm,right]()
{if $
begin{cases}
mathbf{v} le mathbf{v}'\
sigma le_{text{prefix}} rho, text{for all} (mathbf{u},rho)
end{cases}
$};
draw[dashed] (top) -- ++(-3,-3);
draw[dashed] (top) -- ++(3,-3);
end{tikzpicture}

end{document}