mailing-list for TeXmacs Users

[Todd Wilson <address@hidden>]

Is there in TeXmacs an equivalent of TeX's \mathord, \mathbin, \mathrel, 
etc.?  There are times when TeXmacs's default spacing in formulas is not 
correct.  For example, when using ":" as a binary relation, as in typing 
judgments, I'd like to use it as a \mathord in declarations on the left 
of the turnstile and in quantifiers and lambda abstractions, and use it 
as a \mathrel on the right of the turnstile.

Todd Wilson