mailing-list for TeXmacs Users

[Willem Robert van Hage <address@hidden>]

Hello,

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.

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.

but anyway I think \Diamond should really be bound
to \wasyDiamond. It's works that way in LaTeX too.
I'd do it myself if I knew how...

many thanks in advance,

Willem van Hage

-- 
address@hidden | http://wrvh.xs4all.nl