# Contents of /to_be_filed/uculib01/doc/manual/comps/workmdef.tex

Initial commit.

 1 % $Header: /home/dashley/cvsrep/uculib01/uculib01/doc/manual/comps/workmdef.tex,v 1.2 2007/08/30 14:25:20 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 %$Log: workmdef.tex,v$ 38 %Revision 1.2 2007/08/30 14:25:20 dtashley 39 %Edits. 40 % 41 %Revision 1.1 2007/08/30 14:24:32 dtashley 42 %Initial checkin. 43 % 44 %End of $RCSfile: workmdef.tex,v$.