Re: 1

Grégoire Lecerf <[email protected]>
Newsgroups gmane.editors.texmacs.user
Organization Laboratoire d'informatique de l'École polyt echnique
Message-ID <[email protected]> 
Use <Bbb|1>, or explore the blackboard bold fonts from the menu " Format 
-> font".

An alternate solution from the menu "Format -> Font Effects -> 
Blackboard embold" produces <embbb|1>. But when exported to PDF, this is 
rendered as a bitmap T3 font, so set "File -> Page setup -> Printer DPI" 
to a large value, say at least 1200.

Grégoire.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.