In the
slash2.tm document am interested in the overbrace shown. I am curious how I type that in. I can copy and past from
slash2.tm to another document and edit the pieces, but when I manually try to input something like
<< wide|x+y+z|<wide-overbrace> >>
TexMacs does not seem to recognize the "wide-overbrace" piece.