<HTML><HEAD>
-<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=koi8-r">
+<META HTTP-EQUIV="Content-Type" "text/html; charset=utf-8">
<TITLE>Things for TeX </TITLE>
<META NAME="description" CONTENT="Some add-ons for TeX typesetting
system">