[Tex/LaTex] A method of distinguishing Iverson from other brackets


Is there a common idiom or method for distinguishing Iverson brackets from "normal" brackets?

In all examples I've seen, simple braces [...] are used for both; but in complex expressions, this can become confusing, as the only way to resolve which is which is by looking closely for the presence of an =.

Is there a good way to distinguish these typographically?

Best Answer

You can use double brackets for Iverson brackets. In latex mathmode, you can use: \llbracket from the stmaryrd package. In latex textmode, you can use: \textlbrackdbl from the textcomp package. Here is the code:



$\llbracket Iverson~Brackets~in~mathmode \rrbracket$
\textlbrackdbl Iverson Brackets in textmode \textrbrackdbl


The above will compile and look like the following:

enter image description here