[XeTeX] Jump symbol in latex

[Yves Codet]

Hello.

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

> Hello,
>
> 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 '||'.

Maybe you could directly input characters U+301A and U+301B, which  
seem to be the ones you want.

Best wishes,

Yves