[XeTeX] Jump symbol in latex

[Peter Dyballa]

Am 23.01.2008 um 15:15 schrieb Arthur Reutenauer:

>  No, the correct Unicode characters are U+27E6 MATHEMATICAL LEFT WHITE
> SQUARE BRACKET and U+27E7 MATHEMATICAL RIGHT WHITE SQUARE BRACKET; but
> except for STIX, I doubt many fonts will have them

Charis SIL and Doulos SIL, Cardo, DejaVu – and MnSymbol have it. The  
latter font's ⟦ and ⟧ look very stylish: the "inner" vertical bars  
are lighter than the "outer" brackets.

--
Greetings

   Pete
               <\
                 \__     O                       __O
                 | O\   _\\/\-%                _`\<,
                 '()-'-(_)--(_)               (_)/(_)