On Tue, 28 Nov 2000 12:04:14 +0100 Alvaro Tejero Cantero <[EMAIL PROTECTED]> wrote:
> Hi,
> Also, do you know which font should be used to get the double-barred
> capital letter that are usually used to represents sets such as |R,
> the set of the reals, |N, the natural numbers, etc?
excerpt from ursguide.lyx (german version)
die "Wandtafel"-Fettschrift, zweizeilige Gro�buchstaben: \mathbb{R}.
...
these are not (yet) WYSIWYM and you need AMS-LaTeX
Menu Layout->Document... push button "use AMS Math"
Guenter
--
[EMAIL PROTECTED]