Chronological Thread 

< Chronological >      < Thread >

---

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 --

---

• Pasting source code into TeXmacs?, Adam Warner, 02/24/2002
  • Re: Pasting source code into TeXmacs?, David Allouche, 02/24/2002
    • Re: Pasting source code into TeXmacs?, Adam Warner, 02/24/2002
      • Re: Pasting source code into TeXmacs?, David Allouche, 02/24/2002
        • Re: Pasting source code into TeXmacs?, David Allouche, 02/24/2002
          • Re: Pasting source code into TeXmacs?, Adam Warner, 02/24/2002
            • Questions about TeXmacs development, Joris van der Hoeven, 02/24/2002
              • Modal Logic Diamond, Willem Robert van Hage, 02/25/2002
              • Re: Modal Logic Diamond, David Allouche, 02/25/2002

---

Archive powered by MHonArc 2.6.19.