mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Wed, Nov 16, 2005 at 05:00:32PM -0800, Karl Hegbloom wrote:
> I find it annoying that '=@@' turns into something other than '=
> \infty', and that '= |x' or '|x|=' doesn't do what I want unless I type
> a space between the = and the next character.  I think that for the
> commonly used ones like that, that the automatic combining ought to only
> happen if I push Tab after typing it, and that normally it comes out as
> two separate characters.  So if I type '=@@' I get '= \infty', and if I
> type '=@Tab', I get '\eqcirc'.  If I type '|=' I should get '| =', and
> if I type '|=Tab', I should get '\models'.

You may try to make the proposed modifications kbd-math.scm and
send me the result. I agree that the bindings "| ,", "| >" and "| ="
are a bit irritating when working a lot with absolute values.
There are probably many others, like "| | =", etc.

Best wishes, Joris