mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Frank,

On Tue, Nov 26, 2019 at 12:56:42PM +0100, Frank wrote:
> I wonder how to input blackboard bold scripts for Greek letters. I
> also wonder an analogue for \mathlarger in TeXmacs.

There are no official blackboard bold scripts for Greek letters.

Nevertheless, TeXmacs provides a special "blackboard bold" font effect
that allows you to put "any" character in blackboard bold:
Format -> Font effects -> Blackboard embold.

Best wishes, --Joris