[Tex/LaTex] LaTeX code for “white square brackets” 〚 and 〛


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: enter image description here

Best Answer

You are looking for

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

Detexify is an online tool that can help you find latex symbols by drawing them.


Related Question