% $Header$ % %%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