Chronological Thread 

< Chronological >      < Thread >

---

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

---

• Question about TeXmacs and Zed notation., Bill White, 06/21/2007
  • Re: [TeXmacs] Question about TeXmacs and Zed notation., Henri Lesourd, 06/21/2007

---

Archive powered by MHonArc 2.6.19.