0

I want to draw a picture like below.
enter image description here
But I don't know where I should start with. Any help will be appreciated.

  • 1
    No offense but why would you draw this? What do the dotted lines represent? why broken arrows? Why colors? I'm sure you can better represent this information in a more concise manner. – percusse Nov 28 '14 at 3:10
  • @percusse I'm just asking this question for other person. The picture I received is exactly this one, which contains dotted lines, broken arrows, and red equation on the bottom-right. – Old Panda Nov 28 '14 at 3:14
  • Can you give us some code that you have tried? What, specifically are you having trouble with? – darthbith Nov 28 '14 at 3:28
  • @darthbith I don't have code. Actually, I don't know where to get start. – Old Panda Nov 28 '14 at 3:31
  • @OldPanda Do you have a \documentclass and a preamble? Every little bit helps... look at a tutorial for TikZ to get started – darthbith Nov 28 '14 at 3:35
4

This is a starting point. zz arrow style is defined in zz whose zigzag form is borrowed from decoration. positioning are used for node allocations where the syntax below = <distance> of reference point are used. calc is used to do coordinate calculation as displayed in ($(...)+(...)$).

enter image description here

Code

\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}_{\text{init}},\epsilon$};
\node[below= 1cm of top](mid)    {$\mathbf{v},\sigma$};
\node[below= 1cm of mid](bottom) {$\mathbf{v}',\sigma'$};
\node[below=3cm 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}

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.