maechler@brothers.stat.washington.edu (Martin Maechler) (02/24/90)
In article <KGK.90Feb21175919@aruba.cs.brown.edu> you write: > >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 > >||\ | >|| \ | >|| \ | >|| \| ....... What I used quite successfully in my thesis is the following (in LaTeX): \newcommand{\R} {{\rm I\hskip-0.22em R}} \newcommand{\Nat} {{\rm I\hskip-0.21em N}} %-- not the same ! \newcommand{\Z} {{\rm Z\hskip-0.32em Z}} It works not bad with 10, 11 & 12 pts. You use them from within math-mode. -- Martin B Maechler, Statistics, GN-22, U of WA, Seattle, Wa. 98195, 206-545-1627 maechler@stat.washington.edu HOME PHONE: 206-523-9488 (was @ Statistik, ETH Zurich, maechler@math.ethz.ch) Martin B Maechler, Statistics, GN-22, U of WA, Seattle, Wa. 98195, 206-545-1627 maechler@stat.washington.edu HOME PHONE: 206-523-9488 (was @ Statistik, ETH Zurich, maechler@math.ethz.ch)
alexande@fillmore.cs.unc.edu (Geoffrey D. Alexander) (02/25/90)
The character you describe comes fromt the blackboard bold font. This is listed in "The Joy of TeX" (a guide to AMS-TeX) as a future font along with other fonts such as a script font, a Fraktur font, a font with bold italic and bold lower case Greek letters, and a cyrillic font. Does anyone know if these fonts are available? If so, how/where does one obtain them? Thanks, Geoff Alexander