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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

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