<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<META NAME="Generator" CONTENT="MS Exchange Server version 5.5.2657.73">
<TITLE>Re: ".doc" version of Z Reference Manual</TITLE>
</HEAD>
<BODY>
<P><FONT SIZE=2>Roger Jones said:</FONT>
</P>
<P><FONT SIZE=2>> I don't know what you are trying to do but if I wanted</FONT>
<BR><FONT SIZE=2>> for example to know what the reference manual has to</FONT>
<BR><FONT SIZE=2>> say about some special character I would look up that</FONT>
<BR><FONT SIZE=2>> character in the KWIC index.</FONT>
</P>
<P><FONT SIZE=2>Am I correct in gathering that "KWIC" abbreviates "keyword in context" and that this index is also called the "KEYWORD INDEX"?</FONT></P>
<P><FONT SIZE=2>I'm trying to prove something about a function that I defined in terms of the %fcompose% symbol, so I wanted to know all the theorems and conversions that Lemma1 provides involving this symbol. I found some references to this symbol in the keyword index, but hoped there were more. I looked at the source, found usr30.doc, and found that it is mostly "include" commands that include .tex files. These .tex files came from .doc files, didn't they? If so, would Lemma1 be willing to provide the .doc files for the purpose of helping people make searches involving extended characters?</FONT></P>
<P><FONT SIZE=2>Steve</FONT>
</P>
<P><FONT SIZE=2>Stephen Brackin</FONT>
<BR><FONT SIZE=2>Senior Security Analyst</FONT>
<BR><FONT SIZE=2>CygnaCom Solutions, Inc.</FONT>
<BR><FONT SIZE=2>an Entrust company</FONT>
<BR><FONT SIZE=2>Phone: 607-277-8211 Fax: 607-277-8211</FONT>
<BR><FONT SIZE=2><A HREF="http://www.cygnacom.com" TARGET="_blank">http://www.cygnacom.com</A></FONT>
</P>
</BODY>
</HTML>