mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Monday 25 February 2002 01:15, Willem Robert van Hage wrote:

> I frequently use TeXmacs to write modal logic
> and in LaTeX that means I use \Diamond and \Box.
> The box works fine, but \Diamond doesn't,
> it has no symbol bound to it.
> The symbol I like to see linked to \Diamond is called \wasyDiamond
> in TeXmacs and I wrote some keyboard shortcuts for it,
> but I haven't figured out how to link the name \Diamond to it.

I would like to help, but I have hard time understanding what is your 
problem...

I could not find either <Diamond> or <wasyDiamond> symbols in TeXmacs, only 
the usual <diamond> symbol.

> It would be great if there was some simple documentation
> (I'm talking one page, not one book) about how symbols from
> certain fonts are linked to commands and keyboard shortcuts.
> That would make customizing a lot easier.

You say you have defined some keyboard shortcuts, so I assume you know about 
set-keymap. But then I cannot figure out what you mean.
-- 

                                  -- David --