mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Giovanni & Frank & all,

The double square bracket corresponds to a special extensible glyph,
which is supported by TeXmacs, contrary to the double parenthesis.
But you can obtain any desirable spacing by inserting a bit of
negative space between the two pairs of brackets.
(See also section 7.5 of "The Jolly Writer".)

This solution has the disadvantage though that the most adequate
amount of negative space depends on the size of the parenthesis,
so this hack cannot easily be implemented through a macro.
Note that it would also depend on the font,
so it is kind of a problem anyway to "invent"
this kind of double parentheses.

Best wishes, --Joris



On Sat, Dec 25, 2021 at 03:43:31PM +0100, Frank wrote:
> Before playing with key mappings, I tried the code 
> \<bbb-C\><around*|\<#2E28\>|T|\<#2E29\>> but it does not work. It works if 
> I replace around* by around, but the result is not as beautiful as 
> \<bbb-C\><around*|\<llbracket\>|T|\<rrbracket\>> that is ℂ⟦T⟧.
> 
> On 12/24/21, Giovanni Piredda wrote:
> >The standard way is to find out the symbol and the set up a new shortcut. 
> >I looked in math-kbd.scm for an opening bracket and I found the shortcut 
> >that I paste below, where there are two things I do not know what they do 
> >;-), but you can try and use it substituting the opening and closing 
> >symbol for the formal Laurent series for the <llbracket> and <rrbracket>
> >
> >  ("[ [ var" (math-bracket-open "<llbracket>" "<rrbracket>" 'default))
> >
> >On 22.12.21 20:21, Frank wrote:
> >>Dear all,
> >>
> >>I see that there is a way to input the formal power series [[t]] by 
> >>inputting "[[" then press the TAB. It does not work directly for the 
> >>formal Laurant series ((t)). I wonder how to do that properly? Thanks.
> >>
> >>Best wishes,
> >>Frank