[INCLUDE TH/speedbar.blogme]
[SETFAVICON dednat4/dednat4-icon.png]
[lua: LR = R ]
[# 
(defun c () (interactive) (find-blogme3-sh0-if "glyphs"))
;;    http://angg.twu.net/glyphs.html
;; file:///home/edrx/TH/L/glyphs.html
#]
[htmlize [J Glyphs]

[# (find-TH "emacs")
   (find-TH "index")
#]


  [HLIST2 [J Glyphs on Linux VTs:]

  ]

[BE'
# (find-vtutil4 "")
# (find-vtutil4 "README")
# (find-vtutil4 "mathchars.lua")
# (find-vtutil4 "Makefile")
]

  [HLIST2 [J Packages to help editing and TeXing maths on a computer:]

    [J [HREF vtutil4/ vtutil4] (and its ancestor, [MYL vtutil.html
      vtutil]) let us replace some characters of a console font by
      mathematical symbols.]

    [J For something related that works on X, see [LR
      http://article.gmane.org/gmane.emacs.eev.devel/12 this posting
      in the eev mailing list]. Source files: [HREF
      eev-current/eev-glyphs.el.html eev-glyphs.el], [HREF
      eev-current/eev-math-glyphs.el.html eev-math-glyphs.el].]

    [J A preprocessor for (La)TeX for typesetting categorical diagrams
      and deduction trees: [HREF math-b.html#dednat4 dednat4]. Its
      ancestors, like [MYL dednat.html dednat.lua], supported only
      deduction trees; the first version was [AL LATEX/dednat.icn this
      one-hour hack] written in [HREF #Icon Icon] (I don't understand
      its code anymore).]

  ]

[DEF MYTABLE_3 3 upperleft,right,lowerleft
  [TABLE+ border="0"
    [TR+ align="center" [TH [$ upperleft]] [TH+ rowspan="2" [$ right]] ]
    [TR+ align="center" [TH [$ lowerleft]]                             ]
  ]
]
[MYTABLE_3
  [HREF vtutil4/ [IMG IMAGES/exists-shot.png VT]]
  [HREF math-b.html#dednat4 [IMG IMAGES/trans.png transitivity in an
    EqFibration]]
  [HREF vtutil4/ [IMG IMAGES/exists-xdvi.png xdvi]]
]




]
[#
 # Local Variables:
 # coding: raw-text-unix
 # modes: (fundamental-mode blogme-mode)
 # End:
#]