--- a/src/Pure/Admin/build_fonts.scala Sat Nov 24 15:41:22 2018 +0100
+++ b/src/Pure/Admin/build_fonts.scala Sat Nov 24 15:54:53 2018 +0100
@@ -40,6 +40,7 @@
0x06, // Y
0x07, // EOF
0x7f, // DEL
+ 0xaf, // INVERSE
0xac, // logicalnot
0xb0, // degree
0xb1, // plusminus