src/Pure/Admin/build_fonts.scala
changeset 73467 090add96f5f9
parent 73446 d1c4c2395650
child 73649 029de1598940
equal deleted inserted replaced
73466:ee1c4962671c 73467:090add96f5f9
    88         0x2662,  // diamond suit
    88         0x2662,  // diamond suit
    89         0x2663,  // club suit
    89         0x2663,  // club suit
    90         0x266d,  // musical flat
    90         0x266d,  // musical flat
    91         0x266e,  // musical natural
    91         0x266e,  // musical natural
    92         0x266f,  // musical sharp
    92         0x266f,  // musical sharp
       
    93         0x2713,  // check mark
       
    94         0x2717,  // ballot X
    93         0x2756,  // UNDEFINED
    95         0x2756,  // UNDEFINED
    94         0x2759,  // BOLD
    96         0x2759,  // BOLD
    95         0x27a7,  // DESCR
    97         0x27a7,  // DESCR
    96         0x27e6,  // left white square bracket
    98         0x27e6,  // left white square bracket
    97         0x27e7,  // right white square bracket
    99         0x27e7,  // right white square bracket