TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|improve this question

migrated from stackoverflow.com Nov 7 '12 at 13:18

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

marked as duplicate by lockstep, Loop Space, egreg, percusse, Claudio Fiandrino Nov 7 '12 at 13:49

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

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
up vote 18 down vote accepted

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.


share|improve this answer
If I could've upvoted more than once, I would've. – Vatine Nov 7 '12 at 10:51
thanks a lot.that was really helpful. – heboy Nov 7 '12 at 10:58
Detexify is great. It worked fine even with my limited drawing skills. – lhf Nov 7 '12 at 11:38

Not the answer you're looking for? Browse other questions tagged or ask your own question.