🚀 go-pugleaf

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