/[dtapublic]/pubs/books/ucbka/trunk/volshare/workmdef.tex
ViewVC logotype

Annotation of /pubs/books/ucbka/trunk/volshare/workmdef.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 274 - (hide annotations) (download) (as text)
Sun Aug 11 21:43:05 2019 UTC (3 years, 6 months ago) by dashley
File MIME type: application/x-tex
File size: 1294 byte(s)
Change keyword substitution (migration from cvs to svn).
1 dashley 140 % $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    

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision URL Header

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25