HomeIsabelle/Phabricator
High-quality blackboard-bold symbols

Document preparation

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

This refers to Isabelle/b138cdd22cfb.

Written by makarius on Mar 21 2021, 11:58 PM.
User
Projects
None
Subscribers
None

Event Timeline