- From: David Allouche <address@hidden>
- To: address@hidden
- Subject: Re: Modal Logic Diamond
- Date: Mon, 25 Feb 2002 14:36:10 +0100
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 --
Archive powered by MHonArc 2.6.19.