bugGNU TeXmacs - Bugs: bug #62528, Lower case blackboard bold greek...


You are not allowed to post comments on this tracker with your current authentication level.

bug #62528: Lower case blackboard bold greek characters are categorized under wrong characters

Submitter:  Hagi <hagi>
Submitted:  Thu 26 May 2022 08:24:38 PM UTC
Category:  Typesetter Priority:  3 - Low
Item Group:  Error Status:  Wont Fix
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release:  2.1.1
Fixed Release:  None Fixed Release: 

Mon 10 Oct 2022 04:43:20 PM UTC, comment #1: 

These kind of TeX fonts with weird encodings are deprecated.  I still include them for backward compatability, but you should either rely on Truetype/Opentype alternatives or the built-in blackboard emboldening mechanism.

Of course you are free to hack a macro that simply uses specific characters from the Bbb** font, e.g. using the Ctrl-q shortcut and then entering a number.

Joris van der Hoeven <vdhoeven>
Group administrator
Thu 26 May 2022 08:24:38 PM UTC, original submission:  

In the font file bbold10.pfb lower case blackboard bold greek characters are categorized under wrong characters, making it very hard to type in these symbols.

I would suggest replacing it with a more updated font bboldx (https://www.ctan.org/pkg/bboldx), which has another advantage of extending the original to a set of three weights with the original.

The forum discussion: http://forum.texmacs.cn/t/how-to-use-the-font-bbold-in-texmacs/617/11?u=xuyiqi1

Hagi <hagi>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by hagi (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.


    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-10-10 vdhoeven Priority5 - Normal 3 - Low
        StatusNone Wont Fix
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.12