trunk/volshare/workmdef.tex

% $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}
%
% End of WORKMDEF.TEX

1	% $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	% End of WORKMDEF.TEX
38
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision URL Header