Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Its kind of a bracket but I'm not sure what it means.

enter image description here

I have two ideas about it: It means the number of times the expression in satisfied or it changes for $1$ or $0$ depending on the result every time the $i$ value changes.

share|cite|improve this question

migrated from Aug 7 '13 at 11:16

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

Without context it's hard to know... A good author will have explained the notation. – Dan Rust Aug 6 '13 at 23:30
My guess would be that, if $\phi$ is some statement, then $$[ \phi ] = \begin{cases} 0\ \text{if}\ \phi\ \text{is false} \\ 1\ \text{if}\ \phi\ \text{is true} \end{cases}$$ But this is just a guess. More context would help. (Edited: MathJax doesn't appear to have support for the double-bar square brackets.) – Clive Newstead Aug 6 '13 at 23:31
Iverson bracket? – anon Aug 6 '13 at 23:31
I think it is noteworthy that this statement in double brackets follows a period. – Karl Kronenfeld Aug 6 '13 at 23:39
Also, when asking there you may need to provide more context: what book is it from, what area of mathematics, etc. – Alexey Romanov Aug 7 '13 at 6:28
up vote 1 down vote accepted

This type of square-bracket is used in different context. One application is indeed for some sign functions.

In your example it is used identical to the so called Iverson Bracket. In this case the specific use of square brackets was advocated by Donald Knuth to avoid ambiguity in parenthesized logical expressions.

But beyond your example beware, there are other applications such as $[[z]]$ could mean round down to the greatest integer less than or equal to $z$ etc.

share|cite|improve this answer
Thank you I ended up finding the answer in another question (This one was created automatically). Thanks for everyone that helped – Marx Guimarães Aug 7 '13 at 15:18

In this instance, the symbol is an Iverson bracket, defined by $$[\phi] = \begin{cases} 0 & \text{if}\ \phi\ \text{is false} \\ 1 & \text{if}\ \phi\ \text{is true} \end{cases}$$ where $\phi$ is some formula.

share|cite|improve this answer

This is somewhat off-topic, but might help.

Coxeter and Johnson, use square brackets to mark of a symmetry, eg [3,3] is the symmetry of {3,3}, but use double-square brackets to add a secondary extension ie [[3,3]] is the tetrahedral symmetry, along with swapping a figure and its dual. For this group, central inversion works, but for [[3,4,3]] in 4D, one needs one of Conway/Thurston's 'wanders' to move the two.

share|cite|improve this answer

It could very well just be a parenthetical statement (as in the English grammatical construct); e.g. that the equation to the left is true only if the condition on the right holds, or as an explanation as to why the equation is true, or maybe something else. This interpretation is encouraged by the appearance of what appears to be a period at the end of the equation on the left.

As others have said, actually showing the context would help clear things up.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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