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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25