im:  ooooooo |   o    |        |o     o | oooooo |        |  ooo   |  ooo   |
     o     o |  o o   | o   o  |o     o |      o |        | o   o  | o o o  |
     o     o | o   o  |  o o   | o   o  |      o |   oo   |o o o o |o  o  o |
     o     o |o     o |   o    | ooooo  |   oooo |  o  o  |o  o  o |ooooooo |
     o     o | o   o  |  o o   |  o o   |      o |  o  o  |o o o o |o  o  o |
     o     o |  o o   | o   o  |  o o   |      o |   oo   | o   o  | o o o  |
     ooooooo |   o    |        |   o    | oooooo |        |  ooo   |  ooo   |
             |        |        |        |        |        |        |        |
     --------+--------+--------+--------+--------+--------+--------+--------+
im:  oo      |  ooo   |   o    |        |oo ooo  |        |        |        |
      oo     | o   o  |   o    |        | oo  oo |ooooooo |   o    |   o    |
       oo    |ooo ooo | ooooo  |    ooo | ooo oo |   o    |   o    | ooooo  |
       ooo   |o ooo o |        |ooooo oo|oo ooo  |   o    |   o    |   o    |
      oo oo  |ooo ooo |        |    ooo |  ooo   |   o    |   o    |   o    |
     oo   oo | o   o  |        |        | oo oo  |   o    |   o    |   o    |
     o     o |  ooo   |        |        |  ooo   |   o    |ooooooo |  o oo  |
             |        |        |        |        |        |        |        |
     --------+--------+--------+--------+--------+--------+--------+--------+
im:   oo     |        |        |        |        |  ooo   |
       oo    |  ooo   | o   o  |  ooo   |        | o   o  |
        oo   | o      | o   o  | o   o  |        |     o  |
         oo  | oooo   | o   o  | o   o  | o o o o|  oooo  |
      ooooo  | o      | o   o  | o   o  |        | o   o  |
             |  ooo   |  ooo   | o   o  |        | o   o  |
      ooooo  |        |        |        |        |  ooo   |
             |        |        |        |        |        |
     --------+--------+--------+--------+--------+--------+

names: nec poss times Fa Ex comp otimes oplus
codes: ¤   è    ž     ì  í  ½    Ï      ¾
pairs: nn  pp   xx    fa ex oo   ox     o+

names: lambda otimes perp lolli  par T  bot truthval
codes: Ð      Ï      Ñ    ÷      ¥   õ  ©   .
pairs: ll     ox     pe   -o     &&  TT bo  tv

names: >=  in cup cap dotli partial
codes: ¸   ×  ç   Þ   ö     †
pairs: >=  in cu  ca  ..    dr


comments:

Outros chars us veis: ÐÑ

(find-fline "~/C/fontimage.icn")
(find-fline "~/C/fontimage.c")
(find-fline "~/CRIM/LINECHARS")
(find-fline "~/C/math.extras")
(find-fline "~/C/math1.8.cooked")
(find-fline "~/C/math1.8.compose")

# Debian:
# (find-fline "~/C/fontimage.c")
cd ~/C/
gcc -I/usr/lib/icon/ipl/cfuncs/ -O -w -c -o fontimage.o fontimage.c
/usr/src/icon/ipl/cfuncs/mklib.sh myclib.so fontimage.o

cd ~/C/
icont fontimage.icn

~/C/fontimage           \
  -readrawfont /home/replace/ega1.8		\
  -readextras ~/C/math.extras			\
  -merge        	        	\
  -writerawfont ~/C/math1.8     	\
  -writecooked ~/C/math1.8.cooked	\
  -writecompose |& tee ~/C/math.compose

cat /home/replace/defkeymap850b.map ~/C/math.compose > ~/C/math850.map
loadkeys ~/C/math850.map
setfont ~/C/math1.8

(find-fline "~/C/ega1p.8.cooked")
(find-fline "/home/replace/defkeymap850b.map")

cd ~/C/
gcc -I/usr/src/icon/ipl/packs/loadfunc/ -O -w -c -o fontimage.o fontimage.c
/usr/src/icon/ipl/packs/loadfunc/mklib.sh myclib.so fontimage.o

cd ~/C/
icont fontimage.icn
fontimage \
  -readrawfont /home/replace/ega0.8		\
  -tablechars ega0	        		\
  -readrawfont /home/replace/ega1.8		\
  -tablechars ega1	        		\
  -readrawfont /home/replace/ega3.8		\
  -tablechars ega3				\
  -readrawfont /home/replace/ega4.8		\
  -tablechars ega4				\
  -readrawfont /home/replace/ega5.8		\
  -tablechars ega5				\
  -writetable > ~/C/hchars

(find-fline "~/C/hchars")

(defun unich (n)
  (format "\357%c%c"
	  (+ 128 (logand 3 (lsh n -6)))
	  (+ 128 (logand 63 n))))
(defun unistr (s) (concat "\e%G" s "\e%@"))
(defun seq (a b by) (if (< a b) (cons a (seq (+ a by) b by))))
(defun uniseq (a b) (apply 'concat (mapcar 'unich (seq a b 1))))
(defun uniline (a) (concat "\e%G" (uniseq a (+ 32 a)) "\e%@\n"))
(insert (apply 'concat (mapcar 'uniline (seq 0 256 32))))
(write-region (apply 'concat (mapcar 'uniline (seq 0 256 32)))
	      nil "/home/root/CRIM/256chars")

(find-fline "~/ICON/t.icn")

procedure main()
  system("clear")
  system("cat /home/root/CRIM/256chars")
  while k := getch() do {
    system("setfont /home/replace/ega" || k || ".8 >& /dev/null")
  }
end

cd ~/ICON/ ; icont t.icn -x




O icon default do Debian vem sem o loadfunc.

# (find-fline "~/CB/src-ls-lR.i" "icon")
cd /cdrom/
cp -diPv \
  debian/main/source/devel/icon_9.3-1.diff.gz	\
  debian/main/source/devel/icon_9.3-1.dsc	\
  debian/main/source/devel/icon_9.3.orig.tar.gz	  /

# (find-fline "~/.zshrc" "debsource")
debsource /debian/main/source/devel icon 9.3 -1

# (code-c-d "icon" "/usr/src/icon-9.3/")
# (find-iconfile "debian/")
cd /usr/src/icon-9.3/
dpkg-buildpackage -B |& tee odbp

# (find-iconfile "odbp")
agrep Xatom.h $HAMM/Contents
# (find-fline "$HAI/Packages")
# (find-iconfile "config/unix/Config/Makefile")

cd /usr/src/icon-9.3/src/runtime/
make db_lib

cd ~/HASH/
dpkg -i -GE xlib6g-dev libdb2-dev