29

How do I create mathematical equation double square braces like these ⟦exp⟧ in latex? I failed to find it on google (I created these using word 2010 equation editor). I would like these to be of adjustable height like regular braces if possible.

Thanks in advance!

Improve this question
6
  • 1
    Have a look here, and you should be able to quickly find what you are looking for: Exact duplicate of How to look up a math symbol? Commented May 15, 2011 at 20:41
  • @Alan: Agree, with the proviso that it took me three goes at drawing the symbol before it came up with the right answer. Detexify ought to have a "wait until I've finished drawing" option. Commented May 15, 2011 at 20:44
  • @Andrew I use detexify on my phone, so it waits for me. But generally I find it faster to look things up in the Comprehensive Symbols guide. Commented May 15, 2011 at 20:46
  • @Andrew: If you keep drawing it reaccesses the image. It came up in my first attempt. Ok, I got [ after I finished the first part was finished but it jumped to the correct one when I was finished. Commented May 15, 2011 at 20:49
  • Thanks for all these wonderful suggestion, I will look them up next time :) Commented May 15, 2011 at 20:50

1 Answer 1

Reset to default
35 
\usepackage{stmaryrd}
...
$\llbracket a+b\rrbracket$

You find hundreds of symbols in the "Comprehensive LaTeX List of Symbols" which is on CTAN and, possibly, also on your system (texdoc symbols).

Improve this answer
4
  • 3
    In this modern "internet age", it's useful to point people in the direction of detexify as well as the list of symbols. Commented May 15, 2011 at 20:46
  • @Andrew: you're probably right, I keep forgetting "detexify". However this resource doesn't suggest \llbracket for ⟦, but only \textlbrackdbl :( Commented May 15, 2011 at 20:50
  • 2
    It shows \llbracket, but not always depending how I draw it. Commented May 15, 2011 at 20:55
  • 2
    egreg: I agree that it's not always perfect - see my comment on the main question! But one thing that helps is us "training" it (which I did, once it had found the right symbol). Commented May 15, 2011 at 21:03

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.