mailing-list for TeXmacs Users

[François Poulain <address@hidden>]

Hi,

Le Tue, 22 Oct 2013 23:22:30 +0200,
Victor Porton <address@hidden> a écrit :

> The following two formulas (which may express the principal filter
> corresponding to a lattice element a) are rendered differently:
> 
> <math|\<uparrow\>a>
> <math|\<uparrow\> a>
> 
> What of the two is correct?

Entering a space add a space. Did you expected another behavior ?

> 1. Explain to the users when to use spaces.

"Space" stands for function application. See help->manual->math...

Moreover, you can activate semantic editing features, which will tell
you if your function application seems grammatically correct, or not.

François

-- 
François Poulain <address@hidden>