LaTeX.org

I'm trying to write a macro to set interpretation brackets for semantics, i.e. double square brackets that are connected. The bracket height should adjust to the size of what's inside the brackets (since there can be complex formulae, tables, or trees). My problem is that the distance between the ...