man_a/comps/workmdef.tex

% $Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/webprojs/pamc/gen_a/docs/manual/man_a/comps/workmdef.tex,v 1.1 2007/04/09 03:17:10 dashley 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.1  2007/04/09 03:17:10  dashley
%Initial checkin.
%
%End of $RCSfile: workmdef.tex,v $.
1	dashley	19	% $Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/webprojs/pamc/gen_a/docs/manual/man_a/comps/workmdef.tex,v 1.1 2007/04/09 03:17:10 dashley 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.1 2007/04/09 03:17:10 dashley
39			%Initial checkin.
40			%
41			%End of $RCSfile: workmdef.tex,v $.