mailing-list for TeXmacs Users

["Adrian S." <address@hidden>]

That indeed solved the problem  The pi does not look so pretty, but it
is certainly a pi.

Thanks!

On Mon, Dec 27, 2010 at 2:14 PM, Alvaro Tejero Cantero <address@hidden> wrote:
> This is likely to be a font problem; did you try downloading the
> TeXmacs extra fonts?
>
> http://www.texmacs.org/tmweb/download/fonts.en.html
>
> -á.
>
>
>
> On Mon, Dec 27, 2010 at 20:38, Adrian S. <address@hidden> wrote:
>> I was reading the semantic meaning of certain symbols in Texmacs
>> 1.0.7.9, and noticed that typint in math mode p-tab-tab gives mathpi,
>> which is, semantically, attached to the constant 3.14159265...
>> However, it is still typsetted as a p.
>>
>> Great work!!!
>>
>> I am very happy with the editor, and like this new features.
>>
>> Peace.
>> -Adri'an.
>>
>