Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!rpi!brutus.cs.uiuc.edu!jarthur!polyslo!vlsi3b15!vax1.cc.lehigh.edu!netnews.upenn.edu!grad2.cis.upenn.edu!resnik
From: resnik@grad2.cis.upenn.edu (Philip Resnik)
Newsgroups: comp.text.tex
Subject: Re: Font for number classes
Summary: Try using the half-backspace
Message-ID: <20798@netnews.upenn.edu>
Date: 23 Feb 90 13:48:07 GMT
References: <KGK.90Feb21175919@aruba.cs.brown.edu> <1071@kunivv1.sci.kun.nl>
Sender: news@netnews.upenn.edu
Reply-To: resnik@grad2.cis.upenn.edu.UUCP (Philip Resnik)
Distribution: comp
Organization: University of Pennsylvania
Lines: 28

In article <1071@kunivv1.sci.kun.nl> lwj@cs.kun.nl (Luc Rooijakkers) writes:
>kgk@cs.brown.edu (Keiji Kanazawa) writes:
>
>>Does anybody have a font, or otherwise know a simple method, to get
>>what one might call the ``twin line left hand-side'' version of the
>>number class symbols, i.e., the ones that looks like

One easy trick you might consider: have it type N, then do a
half-backspace (\!), and then type a vertical bar.  I did something
similar in order to get doubled square-brackets; it was easiest to
define these as new commands

  \newcommand{\bb}{[\![}
  \newcommand{\ee}{]\!]}

and then use them as follows:

  $\bb bracketed-thing \ee$

I haven't tried this with N (or R) and vertical bar, but I suspect it
might come close to what you're looking for, or at least give you a
starting point for some experimentation.

  Philip

resnik@grad1.cis.upenn.edu
Computer and Information Science, Moore School of Engineering
University of Pennsylvania, Philadelphia, PA 19104