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 あるかもな。