Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: High-quality blackboard-bold symbols

view this post on Zulip Email Gateway (Mar 21 2021 at 23:06):

From: Makarius <>
* Document preparation *

This refers to Isabelle/b138cdd22cfb.

That is a spin-off from the Z Notation support, because that requires
additional blackboard-bold symbols.

I've always found the approximation from AMS rather crude, and actually Joris
van der Hoeven (TeXmacs) agrees with that, see

The ultimate source for LaTeX symbols is --- table 316
on page 123 was relevant for the hint on txmia/txfonts.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC