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