mailing-list for TeXmacs Users

[Bill White <address@hidden>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I am trying to use TeXmacs to set Zed notation.  This is a notation
used to describe the legal states of computer programs, and of
transitions between states.  There is a LaTeX mode for Zed, but
when I import it into TeXmacs, TeXmacs crashes.  I think it will
be easier to just create a new style file, or maybe some new
kind of TeXmacs package.

There are a lot of mathematical operators in Zed which are not native
to TeX, but which can be made up of TeX symbols.  I am guessing
these can be done similarly in TeXmacs, though I have not tried
yet.  The problem is in representing what we call schemas.  These
are essentially pairs:
    <Variable Declarations, Constraints>
where each Variable Declaration is a set of variables and a type,
and the Constraints are formulas.  The visible representation
of a schema is something like this, where // is like a C++
comment, not found in Zed, but only in this sample.

   +----- Name ---
   | V1 : Z      // The integers.
   | V2 : P(Z)   // Subsets of the integers.
   +------
   | V1 \in V2
   +--------------
I've drawn this with a ascii characters, but the |, - and + signs
are meant to be lines and corners.

So, from the documentation in the Help menu, I can't see how to do the
following
in a TeXmacs style file.
  1.) Draw lines to represent a schema.
  2.) Add the special Zed notation characters to the math mode menus
      or the keyboard.

Thanks.  (Of course, if someone else has done this, that's even
better.)

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGemV2ip75cpZMzSoRAoH9AJ0QBJT1fHs3wvVT/VnuRhKHq/bKcwCgjCfN
1SJxRPEp4Y6zyaDB2Z84ulM=
=BzQw
-----END PGP SIGNATURE-----