# LaTeX code for “white square brackets” 〚 and 〛 [duplicate]

Possible Duplicate:
How to look up a symbol?

How does one make the symbol for a blackboard bold kind square brackets ,something like [[.The symbol being talked about is used for containing formulas whose truth values are being talked about in propositional logic. Thanks and regards An image of the symbol:

## migrated from stackoverflow.comNov 7 '12 at 13:18

This question came from our site for professional and enthusiast programmers.

• the symbol i am talking about is something like [[ squeezed together to form one symbol used in propositional logic. e.g \tau [[phi]]=1 – heboy Nov 7 '12 at 10:21
• Finding an image on Google Images might help users determine the exact symbol you're referring to. – dunc Nov 7 '12 at 10:37
• i have edited the question and added an image of the symbol. – heboy Nov 7 '12 at 10:47
• If you use unicode-math, you can just use the Unicode characters ⟦ (U+27E6) and ⟧ (U+27E7). They work nicely with \big and \left/\right and the like. (Sadly I cannot post this as an answer.) – Marian Apr 10 at 15:52

• \llbracket and \rrbracket from the stmaryrd package
• \textlbrackdbl and \textrbrackdbl from the textcomp package