/[dtapublic]/to_be_filed/uculib01/doc/manual/comps/workmdef.tex
ViewVC logotype

Annotation of /to_be_filed/uculib01/doc/manual/comps/workmdef.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 30 - (hide annotations) (download) (as text)
Sat Oct 8 07:22:17 2016 UTC (7 years, 9 months ago) by dashley
File MIME type: application/x-tex
File size: 1559 byte(s)
Initial commit.
1 dashley 30 % $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 $.

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25