CADiZ

Tutorial guides / Choosing between LATEX and troff mark-up


You have a choice of LATEX or troff mark-up for your specification. This page will help you to make that choice.

If you are experienced in the use of either LATEX or troff, and you intend your specifications to include informal text between the formal paragraphs, then you'll be happiest using the mark-up that you already know.

Otherwise, LATEX mark-up is probably the better choice. Its mapping to the UCS representation of Z is better (troff mark-up can't express superscripts for instance), it allows you to mark-up the layout of Z as you want it, and it is more likely to be read by tools other than cadiz.

The troff mark-up has some advantages too. The interactive browsing display shows informal text as well as formal paragraphs, and the formal paragraphs are prettyprinted automatically, giving a consistent, logical, though sometimes not so pretty, layout.

If you are still undecided after reading the above, there is an example specification in LaTeX mark-up, and the same example specification in troff mark-up, that you may like to compare.


IT 2-Jan-2002