# Contents of /pubs/books/ucbka/trunk/volshare/workmdef.tex

Initial commit after migrating from CVS.

 1 % $Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/dtaipubs/esrgubka/volshare/workmdef.tex,v 1.4 2002/08/01 01:31:24 dtashley Exp$ 2 % 3 %%Sets of real numbers. 4 \newcommand{\vworkrealset}{{\mathbb{R}}} 5 \newcommand{\vworkrealsetnonneg}{{\mathbb{R}^+}} 6 % 7 %%Sets of integers. 8 \newcommand{\vworkintset}{{\mathbb{Z}}} 9 \newcommand{\vworkintsetnonneg}{{\mathbb{Z}^+}} 10 \newcommand{\vworkintsetpos}{{\mathbb{N}}} 11 % 12 %%Sets of rational numbers. 13 \newcommand{\vworkratset}{{\mathbb{Q}}} 14 \newcommand{\vworkratsetnonneg}{{\mathbb{Q}^+}} 15 % 16 %%Sets of irrational numbers. 17 \newcommand{\vworkirratset}{{\mathbb{error}}} 18 \newcommand{\vworkirratsetnonneg}{{\mathbb{error}^+}} 19 % 20 %%"Divides" and "Not Divides". Am not able to find quite 21 %%the right symbol for "Not Divides" at this time. 22 \newcommand{\vworkdivides}{\mid} 23 \newcommand{\vworknotdivides}{\hspace{-0.125em}\not\hspace{0.245em}\mid\hspace{0.135em}} 24 %% 25 %%The implication operator, which may change throughout the work. Both a horizontal 26 %%and vertical form are defined. 27 \newcommand{\vworkhimp}{\to} 28 \newcommand{\vworkvimp}{\downarrow} 29 %% 30 %%The symbol for logical equivalence. There are three forms defined, the standard, 31 %%the long, and the short, which may be identical. 32 \newcommand{\vworkequiv}{\leftrightarrow} 33 \newcommand{\vworkshortequiv}{\leftrightarrow} 34 \newcommand{\vworklongequiv}{\longleftrightarrow} 35 \newcommand{\vworkvertequiv}{\updownarrow} 36 37 % 38 % $Log: workmdef.tex,v$ 39 % Revision 1.4 2002/08/01 01:31:24 dtashley 40 % Safety checkin. Having difficulty completing an alternate version of 41 % Knuth's proof about the accuracy of quotient estimates based on first 42 % digits of dividend and divisor. 43 % 44 % Revision 1.3 2002/07/29 16:30:09 dtashley 45 % Safety checkin before moving work back to WSU server Kalman. 46 % 47 % Revision 1.2 2001/07/12 02:01:46 dtashley 48 % Conversion out of binary mode for use with CVS. 49 % 50 % $History: workmdef.tex$ 51 % 52 % ***************** Version 4 ***************** 53 % User: Dashley1 Date: 1/31/01 Time: 4:20p 54 % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics 55 % Edits. 56 % 57 % ***************** Version 3 ***************** 58 % User: Dashley1 Date: 8/08/00 Time: 10:53a 59 % Updated in$/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics 60 % Correction of DIVIDES and NOT DIVIDES symbols. 61 % 62 % ***************** Version 2 ***************** 63 % User: David T. Ashley Date: 8/06/00 Time: 8:52a 64 % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics 65 % Work on Prime Number and Farey Series chapters. 66 % 67 % ***************** Version 1 ***************** 68 % User: Dashley1 Date: 6/15/00 Time: 7:00p 69 % Created in$/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics 70 % Initial check-in. 71 % 72 % End of WORKMDEF.TEX 73