Chronological Thread 

< Chronological >      < Thread >

---

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

---

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