code: 0x01d5c8 font: Isabelle
+\ code: 0x01d5c9 font: Isabelle
+\ code: 0x01d5ca font: Isabelle
+\ code: 0x01d5cb font: Isabelle
+\ code: 0x01d5cc font: Isabelle
+\ code: 0x01d5cd font: Isabelle
+\ code: 0x01d5ce font: Isabelle
+\ code: 0x01d5cf font: Isabelle
+\ code: 0x01d5d0 font: Isabelle
+\ code: 0x01d5d1 font: Isabelle
+\ code: 0x01d5d2 font: Isabelle
+\ code: 0x01d5d3 font: Isabelle
+\ code: 0x01d504 font: Isabelle
+\ code: 0x01d505 font: Isabelle
+\ code: 0x00212d font: Isabelle
+\ code: 0x01d507 font: Isabelle
+\ code: 0x01d508 font: Isabelle
+\ code: 0x01d509 font: Isabelle
+\ code: 0x01d50a font: Isabelle
+\ code: 0x00210c font: Isabelle
+#\ code: 0x01d50c font: Isabelle
+\ code: 0x01d50d font: Isabelle
+\ code: 0x01d50e font: Isabelle
+\ code: 0x01d50f font: Isabelle
+\ code: 0x01d510 font: Isabelle
+\ code: 0x01d511 font: Isabelle
+\ code: 0x01d512 font: Isabelle
+\ code: 0x01d513 font: Isabelle
+\ code: 0x01d514 font: Isabelle
+#\ code: 0x01d515 font: Isabelle
+\ code: 0x01d516 font: Isabelle
+\ code: 0x01d517 font: Isabelle
+\ code: 0x01d518 font: Isabelle
+\ code: 0x01d519 font: Isabelle
+\ code: 0x01d51a font: Isabelle
+\ code: 0x01d51b font: Isabelle
+\ code: 0x01d51c font: Isabelle
+\ code: 0x002128 font: Isabelle
+\ code: 0x01d51e font: Isabelle
+\ code: 0x01d51f font: Isabelle
+\ code: 0x01d520 font: Isabelle
+\ code: 0x01d521 font: Isabelle
+\ code: 0x01d522 font: Isabelle
+\ code: 0x01d523 font: Isabelle
+\ code: 0x01d524 font: Isabelle
+\ code: 0x01d525 font: Isabelle
+\ code: 0x01d526 font: Isabelle
+\ code: 0x01d527 font: Isabelle
+\ code: 0x01d528 font: Isabelle
+\ code: 0x01d529 font: Isabelle
+\ code: 0x01d52a font: Isabelle
+\ code: 0x01d52b font: Isabelle
+\ code: 0x01d52c font: Isabelle
+\ code: 0x01d52d font: Isabelle
+\ code: 0x01d52e font: Isabelle
+\ code: 0x01d52f font: Isabelle
+\ code: 0x01d530 font: Isabelle
+\ code: 0x01d531 font: Isabelle
+\ code: 0x01d532 font: Isabelle
+\ code: 0x01d533 font: Isabelle
+\ code: 0x01d534 font: Isabelle
+\ code: 0x01d535 font: Isabelle
+\ code: 0x01d536 font: Isabelle
+\ code: 0x01d537 font: Isabelle
\ code: 0x0003b1 font: Isabelle
\ code: 0x0003b2 font: Isabelle
\ code: 0x0003b3 font: Isabelle