Path: utzoo!utgpu!watserv1!watmath!att!occrsh!uokmax!apple!usc!wuarchive!uunet!mcsun!ukc!axion!puppis!pyoung
From: pyoung@axion.bt.co.uk (Pete Young)
Newsgroups: comp.text
Subject: Re: How to write "N" (naturals) in LaTeX
Message-ID: <1990Sep11.093404.11254@axion.bt.co.uk>
Date: 11 Sep 90 09:34:04 GMT
References: <1990Sep10.070608.26296@research.canon.oz.au>
Sender: news@axion.bt.co.uk
Reply-To: pyoung@axion.bt.co.uk
Organization: British Telecom Research Labs
Lines: 36

From article <1990Sep10.070608.26296@research.canon.oz.au>, by raphael@research.canon.oz.au (Andrew Raphael):
> In article <6208@neptune.inf.ethz.ch> weibel@brain.inf.ethz.ch (Trudy
> Weibel) writes:
> 
>>    Currently, I'm writing an article with LaTeX and have to make use
>>    of the common symbols "C", "R", "Q", "Z", "N" for complex,  real,
>>    rational, integer, and natural respectively.  Now I'm looking for
>>    macros (?) (fonts?) to write  them properly (and also write  them
>>    easily for me).   In particular,  I would like  something with  a
>>    left bar in "C", a double bar in "R", a left bar in "Q", a double
>>    slanted bar in "Z", and a double left bar in "N" (like 'I\!\!N').


Sorry, I seem to have missed the original article. Symbols for N and Z
are available in the fuzz package (a set of macros and environments for
printing Z specifications and a typechecker). 

Alternatively, these hacks seem to work reasonably well:

\newcommand{\R}{{\sf R\hspace*{-0.9ex}\rule{0.15ex}{1.5ex}\hspace*{0.9ex}}}
\newcommand{\N}{{\sf N\hspace*{-1.0ex}\rule{0.15ex}{1.3ex}\hspace*{1.0ex}}}
\newcommand{\Q}{{\sf Q\hspace*{-1.1ex}\rule{0.15ex}{1.5ex}\hspace*{1.1ex}}}
\newcommand{\C}{{\sf C\hspace*{-0.9ex}\rule{0.15ex}{1.3ex}\hspace*{0.9ex}}}

(Thanks to nwinton@axion.bt.co.uk for the first one)

The ones for N and Z in the fuzz package are better though.

Can't help with a diagonal bar for the Integers symbol though. Presumably 
something could be hacked up with the picture environment.

Hope this helps

  ____________________________________________________________________
  Pete Young         pyoung@axion.bt.co.uk        Phone +44 473 645054
  British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE