trunk/volshare/workmdef.tex

% $Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/dtaipubs/esrgubka/volshare/workmdef.tex,v 1.4 2002/08/01 01:31:24 dtashley Exp $
%
%%Sets of real numbers.
\newcommand{\vworkrealset}{{\mathbb{R}}}
\newcommand{\vworkrealsetnonneg}{{\mathbb{R}^+}}
%
%%Sets of integers.
\newcommand{\vworkintset}{{\mathbb{Z}}}
\newcommand{\vworkintsetnonneg}{{\mathbb{Z}^+}}
\newcommand{\vworkintsetpos}{{\mathbb{N}}}
%
%%Sets of rational numbers.
\newcommand{\vworkratset}{{\mathbb{Q}}}
\newcommand{\vworkratsetnonneg}{{\mathbb{Q}^+}}
%
%%Sets of irrational numbers.
\newcommand{\vworkirratset}{{\mathbb{error}}}
\newcommand{\vworkirratsetnonneg}{{\mathbb{error}^+}}
%
%%"Divides" and "Not Divides".  Am not able to find quite
%%the right symbol for "Not Divides" at this time.
\newcommand{\vworkdivides}{\mid}
\newcommand{\vworknotdivides}{\hspace{-0.125em}\not\hspace{0.245em}\mid\hspace{0.135em}}
%%
%%The implication operator, which may change throughout the work.  Both a horizontal
%%and vertical form are defined.
\newcommand{\vworkhimp}{\to}
\newcommand{\vworkvimp}{\downarrow}
%%
%%The symbol for logical equivalence.  There are three forms defined, the standard,
%%the long, and the short, which may be identical.
\newcommand{\vworkequiv}{\leftrightarrow}
\newcommand{\vworkshortequiv}{\leftrightarrow}
\newcommand{\vworklongequiv}{\longleftrightarrow}
\newcommand{\vworkvertequiv}{\updownarrow}

%
% $Log: workmdef.tex,v $
% Revision 1.4  2002/08/01 01:31:24  dtashley
% Safety checkin.  Having difficulty completing an alternate version of
% Knuth's proof about the accuracy of quotient estimates based on first
% digits of dividend and divisor.
%
% Revision 1.3  2002/07/29 16:30:09  dtashley
% Safety checkin before moving work back to WSU server Kalman.
%
% Revision 1.2  2001/07/12 02:01:46  dtashley
% Conversion out of binary mode for use with CVS.
%
% $History: workmdef.tex $
% 
% *****************  Version 4  *****************
% User: Dashley1     Date: 1/31/01    Time: 4:20p
% Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
% Edits.
% 
% *****************  Version 3  *****************
% User: Dashley1     Date: 8/08/00    Time: 10:53a
% Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
% Correction of DIVIDES and NOT DIVIDES symbols.
%
% *****************  Version 2  *****************
% User: David T. Ashley Date: 8/06/00    Time: 8:52a
% Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
% Work on Prime Number and Farey Series chapters.
%
% *****************  Version 1  *****************
% User: Dashley1     Date: 6/15/00    Time: 7:00p
% Created in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
% Initial check-in.
%
% End of WORKMDEF.TEX

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