Stream: Mirror: Isabelle Development Mailing List

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

Email Gateway (Mar 21 2021 at 23:06):

From: Makarius <makarius@sketis.net>
* Document preparation *

• High-quality blackboard-bold symbols from font "txmia" (package
  "txfonts"), for A..Z.

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
https://www.texmacs.org/joris/fontart/fontart.html

The ultimate source for LaTeX symbols is
https://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf --- table 316
on page 123 was relevant for the hint on txmia/txfonts.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 23 2024 at 16:19 UTC