| 1 |
dashley |
140 |
% $Header$ |
| 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