[XeTeX] Jump symbol in latex

[Bruno Voisin]

Le 23 janv. 08 à 14:22, Yaniv Hollander a écrit :

> I need a help with finding the command that will produce a jump  
> symbol in Latex.
> A jump symbol looks like this: '[[', ']]'.
> Latex provides the command \lVert and \rVert for the symbol '||'. I  
> need two left brace and right brace commands the will produce the  
> same thing but with '[[' or ']]' instead of '||'.

There are packages providing that symbol. See tables 116 ff. from

/usr/local/texlive/2007/texmf-doc/doc/english/comprehensive/symbols- 
a4.pdf

Hope this helps,

Bruno Voisin