Delete "Ĥ"
MiniPixmap "mini-as.xpm"
