🚀 go-pugleaf

In article <7882@mentor.cc.purdue.edu> akf@mentor.cc.purdue.edu (Jay Hinkelman)
 writes:
| resnik@grad2.cis.upenn.edu (Philip Resnik) writes:
| 
| > lwj@cs.kun.nl (Luc Rooijakkers) writes:
| >>kgk@cs.brown.edu (Keiji Kanazawa) writes:
| >>>Does anybody know a simple method, to get what one might call the
| >>>``twin line left hand-side'' version of the number class symbols?
| >One easy trick you might consider: have it type N, then do a
| >half-backspace (\!), and then type a vertical bar...  -- Philip
| 
| This will work great for the reals (_R_), and the 'natural number'
| (_N_), but no quite so well for the integers, which are represented by
| a 'twin-line' Z (from the German Zahlungen, numbers ... right?)
| 

In response to all the fuss about these symbols, I am posting a set
of commands that was hacked up here at Columbia by Josep Ferrandiz
for his thesis, to create symbols for various number classes.
Using the Helvetica fonts, and shifting things around, 
he has provided R, Z, and N.  (I'm not sure why the C symbols
are commented out, but they should provide at least a rough cut...)
I hope this stuff is not too site-dependent...

As to the AMS fonts, can someone tell me how to go about getting 
them and what they cost, if anything?

Jay Hyman
Department of Electrical Engineering and
Center for Telecommunications Research
1220 Mudd Bldg.
Columbia University
New York, NY 10027

jay@ctr.columbia.edu


Anyway, here are the macros:

----------------- cut here ---------------------

%Real numbers, Complex numbers, ....

\font\sqi=cmssq8
\font\smallrm=cmr7
\font\regrm=cmr10
\font\sqismall=cmssq8 at 5.335pt
\font\helv=cmss12
\font\helvs=cmss9
\font\smallhelv=cmss8 
\newcommand{\Real}{\mbox{\rm I\hspace{-.5em} R}}  % normalsize
\newcommand{\real}{{\mbox{\smallrm I\hspace{-.5em} R}}}   %scriptsize 
\newcommand{\Integer}
	{{\mbox{$\!\mbox{{ \helv Z}}\hspace{-.4em}
                           \mbox{\helv Z}\,$}}}  %normalsize 
\newcommand{\integer}
	{{\mbox{$\mbox{{ \smallhelv Z}}\hspace{-.65em}
                           \mbox{\smallhelv Z}\,$}}}  %scriptsize 
\newcommand{\Nat}{\mbox{\rm I\hspace{-.45em} {\helv I}\hspace{-.6em} N}}
\newcommand{\nat}{{\mbox{\smallrm I\hspace{-.5em} I\hspace{-.6em} N}}}
\newcommand{\rev}{\raisebox{1.0ex}{$\scriptscriptstyle r$}\!\!}
%\newcommand{\Rev}{\raisebox{1.2ex}{$\scriptstyle r$}\!}
\newcommand{\Rev}{\raisebox{1.5ex}{$\scriptstyle r$}\!}


%\def\Complex{{\hbox{${\rm C}\!\hskip-.37em\raise.66pt\hbox{\sqi I}$}}\hskip .35em}
%\def\complex{{\hbox{$\hbox{{\smallrm C}}\!\hskip-.25em\raise.66pt
%                           \hbox{\sqismall I}$}}\hskip .35em}
%\def\Rational{{\hbox{${\rm Q}\!\hskip-.45em\raise.7pt\hbox{\sqi I}$}}\hskip .35em}
%\def\rational{{\hbox{$\hbox{{\smallrm Q}}\!\hskip-.30em\raise.7pt
%                             \hbox{\sqismall I}$}}\hskip .35em}