--- a/src/Pure/Admin/build_fonts.scala Sun Dec 09 16:33:45 2018 +0100
+++ b/src/Pure/Admin/build_fonts.scala Sun Dec 09 18:11:56 2018 +0100
@@ -108,8 +108,18 @@
0x1f5cf, // page (Symbola font)
)
- val vacuous_font: Seq[Int] =
- Seq(0x3c) // "<" as template
+ def isabelle_math_font: Seq[Int] =
+ (0x21 to 0x2f) ++ // bang .. slash
+ (0x3a to 0x40) ++ // colon .. atsign
+ (0x5b to 0x5f) ++ // leftbracket .. underscore
+ (0x7b to 0x7e) ++ // leftbrace .. tilde
+ Seq(
+ 0xa9, // copyright
+ 0xae, // registered
+ )
+
+ val vacuous_font: Seq[Int] =
+ Seq(0x3c) // "<" as template
}