LaTeX.org

I try to enclose my syntax tree in a growing double bracket using \left \llbracket ... \right \rrbracket . However, the tree always sits in the lower half and leaving the upper half blank, which is very ugly. What's more, I cannot make the angle bracket grow with the tree.

\documentclass{article ...