On Thu, 17 May 2007, Vadim wrote: > BTW TeXmacs displays alpha_i_j as > alpha'i'j > > Is there any interpretation of such displaying? Looks like a bug. I'll investigate. Andrey