| 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 |
|
Parent Directory
| 
Revision Log