Baumdiagramm ausrichten mit tikz
Ich habe folgenden Baum erstellt:
    \begin{tikzpicture}[->,>=stealth',level/.style={sibling distance = 2cm,
      level distance = 1.5cm}]
    \node {@}
        child{ node  {@} 
                child{ node  {$\lambda$} 
                	child{ node  {x} } 
    							child{ node  {$\mathrm{case_{List}}$}
    							child {node {x}}
    							child {node {2}}
    							child {node {3}}}
                }
                child{ node [sibling distance = 20cm] {Cons}
    							child{ node  {$\lambda$}
    							child {node {z}}
    							child {node {z}}}
    							child{ node  {Nil}}
                }                            
        }
        child{ node {True}
    		}
    ; 
    \end{tikzpicture}
Irgendwie funktioniert das nicht, dass der Abstand zwischen Cons und \lambda größer wird. Deswegen überschneiden sich da die Kinder :/