[XeTeX] Jump symbol in latex

[Arthur Reutenauer]

>                                                 If I
> type '[[', I simply get '[[' in my pdf, which seems to
> be what you want, or am I wrong.

  I guess he means something like the output of $[\![$ and $]\!]$.

	Arthur