Friday, 4 May 2018

k14 の足りない Glyph

k14 というよりは、どちらかというと、7x14 の方かな。割とないので、自分でちまちま埋めてたりします。

  http://www.cr.ie.u-ryukyu.ac.jp/hg/Applications/14x14ja/

まあ、なくてもほとんど困らないのだが... Agda の library 見れないのはな。

STARTCHAR uni2042
ENCODING 8258
SWIDTH 960 0
DWIDTH 14 0
BBX 14 14 0 -2
BITMAP


     ** **
      **
    ***********
      **
     ** **

 ** **    ** **
  **      **
***********  ***********
  **      **
 ** **    ** **


ENDCHAR

みたいな感じなのを書いて、 script で bdf に変換してます。

もしかすると、この font の新しい release あるかもな。
Post a Comment