% EncTeX documentation
%%%%%%%%%%%%%%%%%%%%%%
%           Petr Olsak

% see encdoce-e.tex for English version of this documentation

\chyph % zpracujte formatem csplain

\def\Red{}
\def\Black{}
\def\Blue{}
\def\Green{}
\def\beglink#1{}
\def\endlink{}
\def\aimlink#1{}
\def\urllink#1{{\tt#1}}
\def\urllinkk#1#2{{\tt#1}}

\ifx\pdfoutput\undefined\else   %%%% pdfTeX is used %%%%%%%%%%
\ifnum\pdfoutput>0    

\ifx\pdfannotlink\undefined  % Verze pdfTeXu >= 14
   \let\pdfannotlink=\pdfstartlink
\fi


\def\beglink#1{%          % Zatek textu odkazu, #1 je kl odkazu
   \Green \pdfstartlink height9pt depth3pt 
     attr{/Border[0 0 0]} goto name{#1}\relax}
\def\endlink{\pdfendlink\Black}  

\def\aimlink#1{%          % Msto cle odkazu, #1 je kl odkazu
   \expandafter\ifx \csname aim:#1\endcsname \relax
      \expandafter\gdef \csname aim:#1\endcsname {}%
      \vbox to0pt{\vss\hbox{\pdfdest name{#1} fith}\kern15pt}%
   \fi
}
\def\urllinkk#1#2{\pdfannotlink height 10pt depth 3pt 
   user{/Border[0 0 0]/Subtype/Link/A << /Type/Action/S/URI/URI(#2)>>}\relax
   \Green{\tt #1}\Black\pdfendlink}
\def\urllink#1{\urllinkk{#1}{#1}}


\def\pdfsetcmykcolor#1{\special{PDF:#1 k}}
\def\Red{\leavevmode\pdfsetcmykcolor{0.1 0.9 0.9 0}}
\def\Black{\leavevmode\pdfsetcmykcolor{0 0 0 1}}
\def\Green{\leavevmode\pdfsetcmykcolor{0.9 0.1 0.9 .3}}
\def\Blue{\leavevmode\pdfsetcmykcolor{0.9 0.9 0.1 0}}

\pdfcompresslevel=9
\pdfinfo{/Author (Petr Olsak)
         /CreationDate (Feb. 2003) 
         /ModDate (Jun. 2004)
         /Creator (TeX)
         /Producer (pdfTeX)
         /Title (encTeX)
         /Subject (Documentation)
         /Keywords (TeX, fonts)
}

\fi\fi %%%%%%%%%%%%%%%%%%%%%%%%%%%% End of pdfTeX macros %%%%%


\font\titulfont=\fontname\tenbf\space scaled\magstep4
\font\bigbf=\fontname\tenbf\space scaled\magstep1

\parindent=12pt

\newcount\secnum  \newcount\subsecnum

\def\kap #1\par{\ifnum\secnum>0 \goodbreak\fi\removelastskip
   \vskip2\baselineskip
   \subsecnum=0 \advance\secnum by1
   \noindent{\bigbf\llap{\the\secnum.\quad}#1}\par\nobreak\medskip}
\def\sec #1\par{\removelastskip\bigskip
   \advance\subsecnum by1   
   \noindent{\bf \llap{\aimlink{\the\secnum.\the\subsecnum}%
      \the\secnum.\the\subsecnum.\quad}#1}\par\nobreak\medskip}
\def\title #1\par{\vglue2\baselineskip 
   \centerline{\titulfont #1}\vskip2\baselineskip}
\def\date #1\par{\bigskip#1\par}
\def\author #1\par{\bigskip#1\par}

\catcode`<=13
\def<{\hbox\bgroup\catcode`_=\active\relax\skoba}
\def\skoba #1>{$\langle$\it#1\/$\rangle$\egroup}
\def\,{\thinspace}
{\catcode`_=\active \gdef_{\_}}

{\obeyspaces \gdef\activespace{\obeyspaces\let =\ }}
\def\setverb{\def\do##1{\catcode`##1=12}\dospecials}
\def\begtt{\medskip\bgroup \setverb \activespace
   \catcode`\"=12 \catcode`_=13
   \def\par##1{\endgraf\ifx##1\par\leavevmode\fi ##1}
   \obeylines \startverb}
{\catcode`\|=0 \catcode`\\=12
|gdef|startverb#1\endtt{|tt#1|egroup|medskip|testpar}}
\long\def\testpar#1{\ifx\par#1\else\noindent\fi#1}

\catcode`"=13
\def"{\leavevmode\hbox\bgroup\setverb\activespace\tt\readverb}
\def\readverb #1"{#1\egroup}

\def\begitems{\medskip\bgroup \catcode`*=13 }
{\catcode`*=13 \gdef*{\item{$\bullet$}}}
\def\enditems{\medskip\egroup}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{\nopagenumbers

\vglue 4cm

\centerline {\titulfont Enc\TeX}
\vskip2cm
\centerline {\titulfont monost pekdovn vstupu v~\TeX{}u}

\vskip3cm

\centerline {\bigbf Petr Olk}

\vskip2cm

\centerline{\urllinkk{www.olsak.net/enctex.html}{http://www.olsak.net/enctex.html}}

\vfil

\centerline {\bigbf Toto je dokumentace k~verzi Feb. 2003 a Jun. 2004}

\vskip 4cm 
\break

\null \vfil

Enc\TeX{} je voln programov vybaven; mete jej dle it
a modifikovat podle podmnek \uv{GNU General Public License}, kterou
publikovala "Free Software Foundation"; pouijte verzi 2 tto licence
nebo (podle Va volby) libovolnou pozdj verzi.

Balek najdete na Internetu na
\urllink{ftp://math.feld.cvut.cz/pub/olsak/enctex/}.


Tento balek je roziovn v~nadji, e bude uiten, avak BEZJAKKOLI ZRUKY; neposkytuj se ani odvozen zruky PRODEJNOSTI anebo
VHODNOSTI PRO URIT EL. Dal podrobnosti hledejte v~Obecn veejn
licenci GNU.

Kopii \uv{GNU General Public License} jste ml obdret spolu s~tmto
programem; pokud se tak nestalo, napite o~ni Free Software Foundation,
Inc., 675 Mass Ave, Cambridge, MA 02139, USA. esk peklad tto
licence najdete na "http://www.gnu.cz/gplcz.html".

\bigskip 
\copyright\quad  1997, 2002, 2003, 2004\enspace RNDr. Petr Olk

\bigskip

\TeX{} je ochrann znmka American Mathematical Society.

\bigskip
Autor \TeX{}u je profesor Donald Knuth. \TeX{} je voln programov
vybaven se specifickou licenc, viz dokumentaci k~tomuto programu.

\break
}

\kap Zkladn informace
     %%%%%%%%%%%%%%%%%%

Balk enc\TeX{} je jednoduch rozen \TeX{}u pro takov implementace, ve
kterch se \TeX{} instaluje ze zdrojovho kdu "tex.web". Tuto
podmnku napklad spluje implementace web2c, uren pro UNIXy 
a jin operan systmy s~kvalitnm pekladaem jazyka C.

Rozen enc\TeX{} je zptn kompatibiln s~originlnm
\TeX{}em. Pidv deset novch primitiv, ktermi lze st nebo
naplovat vnitn kdovac tabulky, podle nich je znak transformovn
na rovni vstupnho procesoru \TeX{}u nebo pi vstupu na terminl, do
"log" souboru a "\write" soubor.  Tyto tabulky se ukldaj do
formtovch soubor, take po naten formtu se inicializuj ve
stejnm stavu, v~jakm byly v~okamiku pkazu "\dump".

Zmna \TeX{}u je dkladn testovan a prola t testem TRIP 
s~tmito dvma odlinostmi:

\begitems
* Odlin banner 
* Poet \uv{multiletter control sequences} je o~deset vt.
\enditems

\sec Instalace
%    ---------

Viz soubor "INSTALL".

\sec Verze
%    -----

V~roce 1997 byla zveejnna prvn verze enc\TeX{}u, kter umoovala
konverze pouze v~reimu \uv{byte na byte} a nastavovala tisknutelnost
znak (primitivy "\xordcode", "\xchrcode", "\xprncode").

V~roce 1998 obnovil nkdo z~Polska pouvn TCX tabulek ve web2c
\TeX{}u. Protoe enc\TeX{} z~roku 1997 dlal vcemn tot a
pouvn obou nadstaveb souasn by mohlo bt pro mnoho uivatel
matouc, pestal jsem enc\TeX{} prosazovat. Ovem v~roce 2002
jsem se rozhodl pidat do enc\TeX{}u podporu UTF-8 kdovn, protoe
tato podpora nen a asi nebude v~TCX tabulkch implementovna.
V~prosinci 2002 jsem se tedy rozhodl znovu zat propagovat enc\TeX{},
kter navc zvldne UTF-8 kdovn.

Verze enc\TeX{}u "Feb.2003"  pidv dalch
7~primitiv "\mubyte", "\endmubyte", "\mubytein", "\mubyteout",
"\mubytelog", "\specialout" a "\noconvert". To umon definovat vstup
pro UTF-8 kdovan soubory. Tato verze je samozejm zptn
kompatibiln s~pvodn verz enc\TeX{}u z~roku 1997. Neplnuji do
budoucna dn rozshlej zmny. Pokud peci jenom k~njakm zmnm
dojde, pak vdy budou zptn kompatibiln se stvajcm eenm

Verze "Jun.2004" opravuje jen nkter drobn chyby a nepdv dn
nov funkce (podrobnji viz soubor "enctex.patch-jun2004").


\sec Enc\TeX{} ve web2c distribuci
%    -----------------------------

Enc\TeX{} se v~\TeX{}u, pdf\TeX{}u, e-\TeX{}u a pdfe\TeX{}u 
v~distribuci web2c inicializuje pomoc pepnae "-enc" na pkazov
dce. Tento pepna je nutno pout pi inicializaci formtu.  
V~takovm ppad enc\TeX{} ulo sv primitivy a sv data do formtu.  Pi
pouit formtu u nen nutn pepna "-enc" pst znova. Enc\TeX{} se 
v~tomto ppad inicializuje z~formtu a nape o~tom zprvu na terminl
a do log souboru. Pokud nepouijete pepna "-enc" v~dob generovn
formtu, ale pouijete jej a pi pouit formtu, pak
\TeX{} vype varovn o~neexistenci enc\TeX{}u ve formtu a pepna
"-enc" je ignorovn.

Ve web2c distribuci pracuj se stejnmi kdovacmi vektory xord a xchr
(pro pekdovn byte na byte) jednak enc\TeX{} a jednak tzv. TCX tabulky
(pi pouit pepnae "-translate-file"). Uritmu konfliktu se tedy pi
souasnm pouvn obou rozen nevyhneme. 
Je-li v~enc\TeX{}u pouita TCX tabulka, pak pi startu \TeX{}u 
pepe hodnoty "\xordcode", "\xchrcode" a "\xprncode" podle sebe. 
Znamen to, e pi pouit ini\TeX{}u pak nemusej platit implicitn
hodnoty tchto kd dokumentovan v~sekci 2.2 a pi pouit formtu
s~enc\TeX{}em jsou hodnoty tchto kd, kter si do formtu uloil
enc\TeX{}, pepsny podle TCX tabulky. O~tto skutenosti enc\TeX{}
nleit informuje na terminlu a v~logu. Pi bhu programu pak mete
enc\TeX{}ovmi primitivy tyto kdy dle st a mnit. Pouit TCX
tabulky tedy nevyluuje monosti enc\TeX{}u.

\sec Problm s~licenc \TeX{}u
%    -------------------------

Enc\TeX{} roziuje \TeX{} o~nov primitivy, take bychom nemli tomuto
programu kat \TeX{}. Na druh stran ale Knuth samotn pedpokld,
e vnitnosti \TeX{}u budou odstnny od prosted operanho
systmu. Proto implementoval xord a xchr vektory. V~enc\TeX{}u meme
nastavit podle zvyklost operanho systmu vstupn a vstupn
pekdovac tabulky a pak nastavit vem novm primitivm vznam
"\undefined". Dle se bude \TeX{} modifikovan enc\TeX{}em chovat stejn,
jako originln \TeX{}. Navc meme pekdovac tabulky nastavit pi
generovn formtu a v~produkn verzi \TeX{}u zakzat pstup 
k~primitivm. Produkn verze \TeX{}u se pak chov zcela stejn jako
originln \TeX{}. Knuth pedpokld, e odstnn od prosted 
operanho systmu se provede vdy pi kompilaci zdrojovho kdu
\TeX{}u, zatmco enc\TeX{} umouje tuto otzku eit pozdji,
napklad v~dob generovn formtu. Umonn pravy nkterch
(napklad pamovch) parametr a za bhu \TeX{}u tak nen nic
novho a znme to skoro u~vech distribuc \TeX{}u.

Domnvm se, e druh dek na terminlu a v~logu dostaten informuje
o~tom, e se jedn o~modifikovanou verzi \TeX{}u. Tak se domnvm, e
pokud se velmi roz kdovn UTF-8, pak nen zbyt a takov
konverze jsou v~8 bitov verzi \TeX{}u nezbytn.

Je dleit rovn pipomenout, e implicitn chovn enc\TeX{}u je
takov, e pokud se nepouij rozen primitivy enc\TeX{}u, pak se
chov naprosto stejn jako originln \TeX{}.

Podle mho nzoru novj implementace web2c \TeX{}u taky nen v~psnm
slova smyslu \TeX{}. Umouje toti zmnu chovn programu, pokud na
prvnm dku dokumentu za znaky "%&" je cosi specifickho napsno.  To
je podle mho nzoru vt pestupek oproti licenci \TeX{}u, ne
enc\TeX{}ovmi primitivy nastavit ve formtu prosted systmu a pak tyto
primitivy v~produkn verzi \TeX{}u zakzat.


\kap Pekdovn byte na byte pomoc vektor xord, xchr
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\sec Vektory xord a xchr
%    -------------------

Vektory xord a xchr maj velikost 255 byt a obsahuj informaci
o~pekdovn znaku vstupujcho do \TeX{}u nebo vystupujcho na
terminl a do textovch soubor. Jedn se o~pole vestavn do
programu, pes kter jsou filtrovny veker textov vstupn a
vstupn informace. M-li znak na vstupu kd $x$ a chceme, aby ml
uvnit \TeX{}u kd $y$, pak mus bt nastaven vektor xord tak, aby
xord[$x$]=$y$. Pi zptnm vstupu znaku na terminl, do logu a do
soubor zpracovvanch pomoc "\write" plat tato pravidla: Nen-li znak
s~kdem $y$ oznaen jako \uv{tisknuteln}, pak vystupuje pomoc pepisu
"^^"kd~$y$. Je-li tisknuteln, pak vystupuje s~kdem $z$=xchr[$y$].

Standardn bvaj v~systmech s~kdem ASCII nastaveny hodnoty tchto
vektor tak, e 
\medskip
xord[$i$]=xchr[$i$]=$i$ pro vechna $i$ v~rozsahu 0~a~255. 
\medskip
Na systmech, kter nepouvaj ASCII, se me mapovat 94
tisknutelnch ASCII znak jinam. Mimoto je deklarovan vlastnost
\uv{tisknutelnosti} znaku v~ASCII takto: Znak je tisknuteln, pokud m
kd~$y$ v~rozsahu 32 a 126. Ostatn znaky se povauj za netisknuteln a
\TeX{} je standardn pepisuje pomoc dvojit stky.

Po instalaci balku enc\TeX{} je mono pmo nastavovat a st obsahy
vektor xord a xchr prostednictvm primitiv "\xordcode"
a "\xchrcode" a dle nastavovat vlastnost \uv{tisknutelnosti} znaku
pomoc primitivu "\xprncode". Syntaxe vech t novch primitiv
je naprosto stejn, jakou znme napklad u~primitiv "\lccode" a
"\uccode". Napklad:

\begtt
\xordcode"AB="CD  \xchrcode\xordcode"AB="AB \the\xchrcode200
\endtt
%
nastavuje xord[0xAB]=0xCD; xchr[xord[0xAB]]=0xAB a dle vytiskne
hodnotu xchr[200].

Na rozdl od podobnch primitiv "\catcode", "\lccode", "\sfcode" a 
dalch vak nov zaveden primitivy maj jednu podstatnou vjimku. 
Reprezentuj intern registry \TeX{}u, kter vdy maj globln 
platnost. Proto je nastaven "\xordcode" a "\xchrcode" uvnit 
skupiny za vech okolnost globln, akoli to explicitn nepeme. 
stupem z~poadavku na monost loklnho deklarovn
hodnot jsem doshl podstatn vt efektivity vslednho kdu programu.


\sec Tisknutelnost znak nastaven pomoc {\tt\char`\\xprncode}
%    ----------------------------------------------------------

Primitiv "\xprncode" umouje nastavovat vlastnost \uv{tisknutelnosti}
znaku takto: Znak s~kdem $y$ je tisknuteln prv tehdy, kdy je
$y$ v~rozsahu 32 a 126 nebo je "\xprncode" $y > 0$. Napeme-li napklad
"\xprncode255=1", bude tisknuteln znak s~kdem 255. Na druh stran,
nastaven "\xprncode`a" teba na nulu nem na chovn programu dn
vliv, protoe kd znaku "a" je v~rozsahu 32 a 126. Tmto
opatenm program vykazuje urit pud sebezchovy, protoe zl uivatel
by mu mohl nastavit vechny znaky jako netisknuteln a program by ztratil
schopnost se vyjadovat. Hodnoty "\xprncode" lze nastavit jako u~ostatnch
novch primitiv v~rozsahu nula a 255, ovem otzka tisknutelnosti je
toton s~otzkou na kladnou hodnotu bez ohledu na to, jak velk tato
hodnota je.

Vchoz hodnoty pro kdovn v~dob ini\TeX{}u jsou nsledujc:

\vbox{
\begitems
* "\xordcode" $i$ = $i$ pro vechna $i$ v~rozsahu 0...255,
* "\xchrcode" $i$ = $i$ pro vechna $i$ v~rozsahu 0...255,
* "\xprncode" $i$ = 0 pro $i$ v~rozsahu 0...31, 127...255,
* "\xprncode" $i$ = 1 pro $i$ v~rozsahu 32...126.
\enditems
}

Prvn dva dky jsou pravdiv jen na operanch systmech, kter pijaly
kdovn anglick abecedy podle ASCII. Pokud tomu tak nen, pak jsou
vchoz hodnoty vektor xord a xchr pozmnny tak, aby mapovaly tisknuteln
znaky podle systmu do ASCII uvnit \TeX{}u. Takov zmna se tk jen 95
zkladnch tisknutelnch znak, kter jsou v~ASCII na pozicch
32~a~126.


\kap Konverze vce byt na jeden byte nebo kontroln sekvenci
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Od verze Dec 2002 enc\TeX{} um tak konvertovat na rovni vstupnho
procesoru vce byt na jeden byte nebo kontroln sekvenci. 
Pi vstupu do logu a "\write" soubor je pak tento objekt 
zptn peveden na pvodnch vce byt. Tato vlastnost nechce nahradit
chybjc interpret regulrnch vraz ve vstupnm procesoru \TeX{}u.
Byla implementovna pouze z~dvodu umonit pracovat s~UTF-8 kdovanmi
soubory v~bnm 8 bitovm \TeX{}u tak, e znaky z~UTF-8 
z~nejastji pouvan abecedy mohou bt mapovny na jeden znak, 
kter me mt svj "\catcode", "\uccode" atd. Jin znaky 
z~UTF-8 mohou bt mapovny na libovoln kontroln sekvence.

Pro nastaven takov konverze jsou do \TeX{}u pidno nov pt
primitiv: "\mubytein", "\mubyteout", "\mubytelog", "\mubyte" a "\endmubyte".
Primitivy "\mubytein", "\mubyteout" a "\mubytelog" jsou celoseln
registry implicitn s~nulovou hodnotou, tj. konverze vstupu a vstupu
podle konverzn tabulky se neprovdj. Je-li "\mubytein" nastaveno na
kladnou hodnotu, \TeX{} okamit zahj konverze vstupnho dku podle
konverzn tabulky. Je-li "\mubyteout" nastaveno na kladnou hodnotu,
\TeX{} zane konvertovat do vstupnch "\write" soubor podle
stejn konverzn tabulky. Pi kladnm "\mubytelog" bude \TeX{} zptn 
konvertovat tak vstup do logu a na terminl.
Implicitn je konverzn tabulka przdn a
jednotliv dky se do n pidvaj pomoc dvojice primitiv
"\mubyte", "\endmubyte" s~touto syntax:

\begtt
\mubyte <first_token><one_optional_space><optional_prefix><byte_sequence>\endmubyte
\endtt

Kad <byte_sequence> bude pevedena ve vstupnm procesoru na
<first_token>. Je-li <first_token> znakem (tj. nen to kontroln
sekvence), pak se ignoruje jeho kategorie, protoe konverze je
provdna v~input procesoru podle schmatu: <byte_sequence> na jeden
<byte>. Pi vstupu do logu a "\write" soubor se pak kad takov
<byte> znovu pevede na <byte_sequence>. 

Pokud je <first_token>
kontroln sekvence, pak se na rovni vstupnho procesoru promn
kad <byte_sequence> na tuto kontroln sekvenci implementovanou ve form
nemnitelnho tokenu. Token procesor tuto sekvenci tedy znovu
neinterpretuje a zstv za n ve stavu neignorovn mezer. Pi 
{\catcode`\<=12 "\mubyteout<2"} nen pi vstupu do "\write" 
soubor tato kontroln sekvence zptn pevdna na pvodn <byte_sequenci>, 
ale podlh jen bn expanzi, jako ostatn kontroln sekvence.
Pi "\mubyteout>=2" se i tyto kontroln sekvence pevdj do
"\write" soubor na pvodn <byte_sequence>. Aby se ale mohly pevst,
nesmj ped tm expandovat, tj.~musej
mt v~dob expanze vznam neexpandovateln kontroln sekvence
nebo musej bt oznaeny pomoc "\noexpand".
Pi "\mubyteout>=3" enc\TeX{} potla expanzi kontrolnch sekvenc
deklarovanch v~"\mubyte" automaticky (podrobnji viz sekci~3.8).
Vstup do logu a na terminl, kter nen produktem pkazu "\write", 
ponechv i pi kladnm "\mubytelog" kontroln sekvence nezmnny.

Vznam <optional_prefix> je vysvtlen v~sekci~3.5.

\sec Zanen daj do konverzn tabulky
%    -----------------------------------

Zznamy do konverzn tabulky jsou pomoc primitiv "\mubyte", "\endmubyte"
zaneny globln, zatmco hodnoty v~registerch "\mubytein",
"\mubyteout" a "\mubytelog" maj obvykou lokln platnost. 

Dvojice primitiv "\mubyte", "\endmubyte" pracuje analogicky, jako
dvojice "\csname", "\endcsname". Rozdl je pouze v~tom, e prvn token
<first_byte> se neexpanduje a e za nm me (po expanzi) nsledovat
<one_optional_space>. Pi skenovn <optional_prefix> a 
<byte_sequence> ji probh pln expanze a pi n se nesm objevit na
vstupu do hlavnho procesoru token typu kontroln sekvence, jinak
nastane chyba, kterou u znme z~pouvn "\csname", "\endcsname":

\begtt
! Missing \endmubyte inserted.
\endtt

Primitiv "\mubyte" na rozdl od "\csname" neprovd innost na rovni
expand procesoru, ale jedn se o~piazovac primitiv zpracovan na
rovni hlavnho procesoru. Take po

\begtt
\edef\a{\mubyte X ABC\endmubyte}
\endtt
%
bude makro "\a" obsahovat tokeny: "\mubyte X ABC\endmubyte".

Pklady:

\begtt
\mubyte  ^^c1      ^^c3^^81\endmubyte % 
\mubyte  ^^e1      ^^c3^^a1\endmubyte % 
% atd. -- implementace UTF8

\mubyte  \endash   ^^c4^^f6\endmubyte % pklad na kontroln sekvenci
\mubyte  \integral  INT\endmubyte     % pklad pro ilustraci, viz dle.

\mubytein=1 \mubyteout=1 \mubytelog=1 % od tto chvle je pekdovn aktivn

\def\endash {--}
\def\integral {\ifmmode \int\else $\int$\fi}
\endtt

V~tomto pklad je v~mst <one optional space> vce mezer a
tabultor. Protoe tabultory maj kategorii mezery, jsou vechny
tyto znaky pemnny token procesorem na jedinou mezeru poadovanou 
v~syntaktickm pravidle pro "\mubyte", "\endmubyte".

Po pouit definic z~pkladu se napklad slovo INTEGRAL promn v~token
"\integral" okamit nsledovan psmeny \uv{EGRAL}. V~textu INT EGRAL
bude za tokenem "\integral" mezera a teprve pak psmena
\uv{EGRAL}. Tak jsou mon konstrukce typu "\defINT{nco}" apod. 
Kdy napeme "\show INT", dostaneme odpov:

\begtt
> \integral=macro:
->\ifmmode \int \else $\int $\fi .
l.18 \show INT
\endtt
%
a "\string INT" se expanduje na text: "\integral".

Po deklaraci INT podle pedchozho pkladu se me
stt, e nkdo nape: "\INT". Sprvn by to mlo vst na przdnou
kontroln sekvenci ("\csname\endcsname") nsledovanou kontroln
sekvenc "\integral". Protoe se ale s~przdnmi kontrolnmi
sekvencemi v~\TeX{}u moc asto nepracuje a pro uivatele by to mohlo
bt matouc, rozhodl jsem se tuto situaci oetit tak, e "\INT" je
pevedeno pouze na token "\integral".  Pozor na skutenost, 
e za sekvenc "\INT" nen \TeX{} ve stavu ignorovn mezer 
a navc me za n okamit nsledovat psmeno.

\sec Vlastnosti konverze
%    -------------------

Multibytov sekvence jsou pevedeny ze vstupu pouze tehdy, pokud jsou
cel obsaeny v~jedinm dku. Pesah do dalho dku nen
mon. Pipojen "\endlinechar" na konci dku se me stt pedmtem
konverze podle konverzn tabulky.

Sekvence "^^c3^^81" se nepromn ani po pouit definic z~pkladu na
byte \uv{}, protoe pevod dvojitch zobk na jednotliv byty
probh v~token procesoru, tj. pozdji, ne pevody vce byt na
jeden podle "\mubyte".

Pevod vce byt na jeden byte nebo kontroln sekvenci 
probh pozdji ne konverze podle "\xordcode" a pi vstupu do "\write" a
log soubor pak pevod podle "\mubyte" probh dve ne konverze podle 
"\xchrcode". <byte_sequence> tedy mus obsahovat sekvenci byt tak, jak
jsou tyto byty konvertovny ze vstupnho souboru pomoc "\xordcode".

Postupn procesy na vstupu a vstupu si meme naznait takto:

\begtt
vstupn text -> \xordcode -> pipojen \endlinechar -> 
                \mubyte -> token procesor -> expanze ...
argument \write -> expanze -> \mubyte -> \xchrcode -> vstup
\endtt

Pi vstupu do "\write" soubor a log zptn konvertovan 
<byte_sequence> u nepodlhaj dal konverzi na formt typu 
"^^c3^^81" ani opakovan konverzi podle "\mubyte". Tyto
<byte_sequence> se pouze pevedou podle hodnot "\xchrcode".

Pokud se v~konverzn tabulce vyskytuj <byte_sequence> se spolenm
zatkem, ale rzn dlouh, pak input procesor enc\TeX{}u (od verze
Feb.~2003) pevd vdy podle nejdel mon <byte_sequence>, kter se
na vstupu objev. Pklad:

\begtt
\mubyte X A\endmubyte
\mubyte Y ABC\endmubyte
\mubyte \foo ABCD\endmubyte
\endtt

V~tomto pklad se kad A~konvertuje na X, ale pokud nsleduje BC,
pak se skupina ABC konvertuje na Y ovem s~tou vjimkou, e se skupina
ABCD konvertuje na "\foo". Na poad vkldn daj do konverzn tabulky
primitivem "\mubyte" v~tomto ppad nezle.

Pokud se v~konverzn tabulce objev dv stejn <byte_sequence>, pak m
pednost ta, kter byla zanesena do tabulky pozdji.


\sec Konverze vstupu do logu a na terminl
%    --------------------------------------

Vstup do logu a na terminl je pi nulovm "\mubytelog" ponechn bez
konverze. Pokud je v~takovm ppad "\xprncode" znaku nulov, pak se
znak vytiskne ve form "^^A" nebo "^^bc". Pi kladnm "\mubytelog" se
znaky zanesen do konverzn tabulky konvertuj zpt na
<byte_sequence>. Do logu a na terminl se ale na <byte_sequence>
nikdy nekonvertuj kontroln sekvence.

Zptn konverze do logu a na terminl je nastavovna spolen
primitivem "\mubytelog" a nelze ji oddlit tak, e by napklad pro
terminl byla zptn konverze potlaena a pro log soubory nikoli.

Vpisy do logu a na terminl obas obsahuj kompletn pepis prv
tenho dku, kter je napklad pi hlen chyby rozrten na dva
dky, aby \TeX{} naznail msto, kde dolo k~problmu. Pro dal
vklad budeme tmto stem logu kad \uv{pepisy dk}.

Je-li registr "\mubytein" nulov, pak pepisy dk
funguj jako ve standardnm \TeX{}u. Je-li "\mubytein" kladn a 
"\mubytelog" nulov, pak je v~pepisech dk zobrazen obsah dku a
po konverzi input procesorem enc\TeX{}u, tj. v~tchto pepisech se
mohou napklad vyskytovat kontroln sekvence, kter tam uivatel
vbec nenapsal. Jsou-li "\mubytein" i "\mubytelog"
kladn, pak jsou pepisy dk realizovny bez multibytov konverze
tam ani zpt. Probh jen konverze podle xchr a xord vektor. 
Je teba si uvdomit, e v~tomto ppad mohou bt chybov vpisy
ponkud matouc. Napklad po

\begtt
\mubyte \sekvence ABC\endmubyte  \let\sekvence=\undefined
\mubytein=1 \mubytelog=1
Tady je test ABC a dek pokauje.
\endtt
%
dostvme na vstupu:

\begtt
! Undefined control sequence.
l.3 Tady je test ABC
                     a dek pokauje.
?
\endtt
%
Teprve "\show ABC" odhal:

\begtt
> \sekvence=undefined.
l.3 \show ABC
\endtt


\sec Mazn daj v~konverz tabulce
%    -------------------------------

daje v~konverzn tabulce lze mazat jen hromadn: pkaz vymae
vechny daje zanajc na spolen prvn znak v~<byte_sequenci>.
Provede se to pomoc pkazu "\mubyte <znak> <znak>\endmubyte".
Napklad:

\begtt
\mubyte A A\endmubyte
\endtt
%
odstran z~konverzn tabulky vechny <byte_sequence> zanajc
psmenem A. 

Nsledujc kd promae celou tabulku:

\catcode`<=12
\begtt
{\catcode`\^^@=12
\gdef\clearmubytes{\bgroup \count255=1
   \loop \uccode`X=\count255
       \uppercase{\mubyte XX\endmubyte}%
       \advance\count255 by1
       \ifnum\count255<256 \repeat
   \mubyte ^^@^^@\endmubyte
   \egroup}
}
\clearmubytes
\endtt
\catcode`<=13


\sec Vstupn a vstupn st konverzn tabulky
%    -----------------------------------------

Konverzn tabulka konstruovan pomoc "\mubyte", "\endmubyte" m dv
nezvisl sti: vstupn, se kterou pracuje input procesor a vstupn,
kter se pouv pi zptnch konverzch. daje je mon zanst
nezvisle do kad sti pi pouit neprzdnho <optional_prefix>
(viz syntaktick pravidlo "\mubyte" na zatku tto kapitoly). 
Je-li <optional_prefix>
przdn, pak se poadavek na konverzi zanese dvojmo do vstupn i
vstupn sti. Je-li ale <optional_prefix> znak kategorie~8 (obvykle
znak "_"), pak se daj zanese jen do vstupn sti tabulky. Obsahuje-li
<optional_prefix> dvojici znak kategorie~8 (obvykle tedy "__"), pak
se daj zanese jen do vstupn sti tabulky. 

Pi <optional_prefix> "__" (vstupn st tabulky) je dovoleno mt
przdnou <byte_sequenci>. V~takovm ppad se pvodn
daje z~vstupn sti tabulky, kter odpovdaj <first_token>,
vymaou. Pokud tam dn takov daje nebyly, nestane se nic.

Vrame se ke kdu na vymazn tabulky z~pedchoz sekce. Tento kd
vymae ve ze vstupn sti tabulky a z~vstupn jen ty daje, kter
jsou vzny na <first_token> ve tvaru <byte>. daje z~vstupn sti
vzan na kontroln sekvence nejsou tmto zpsobem promazny.
Promazn jednoho daje udlme pomoc:
"\mubyte \foo __\endmubyte".


\sec Vkldn dalch kontrolnch sekvenc
%    -------------------------------------

Je-li <first_token> ve tvaru kontroln sekvence a navc 
<optional_prefix> je token kategorie~6 
(obvykle znak "#") nsledovan <slem>, 
pak input procesor ponech beze zmny <slo> znak, 
ale vlo ped n deklarovanou kontroln sekvenci. 
daj se zanese jen do vstupn sti konverzn tabulky.
Pklad:

\begtt
\def\abc{ABC}
\mubyte X BC\endmubyte \mubytein=1  
\mubyte \foo #3 \abc\endmubyte  Nyn ABC pechz na \foo ABC
\mubyte \foo #1 \abc\endmubyte  Nyn ABC pechz na \foo AX
\endtt  

Parametr <slo> m stejnou syntaxi, jako gramatick kategorie <number> 
z~\TeX{}booku. Napklad pi pmm zpisu dekadickch slic
me nsledovat jedna nepovinn mezera, jako v~pedchoz ukzce.

Je-li <slo> rovno nule, pak bude
ponechna beze zmny cel <byte_sequence>, kter nsleduje. 
Vsledek je tedy stejn, jako kdyby <slo> mlo hodnotu dlky 
<byte_sequence>.

Hodnota <sla> je akceptovna jen v~rozsahu 0 a 50. Zporn sla
jsou interpretovna stejn jako nula a sla vt ne 50 zpsob, e
input procesor vypne po vloen kontroln sekvence dal konverzi a
do konce dku.

Praktick pklad pouit:

\begtt
\mubyte \warntwobytes  #2^^c3\endmubyte
\mubyte \warntwobytes  #2^^c4\endmubyte
\mubyte \warntwobytes  #2^^c5\endmubyte
% atd...
\def\warntwobytes #1#2{\message{WARNING: the UTF8 code: 
   \noconvert#1\noconvert#2 is not defined i my macros.}}
\endtt

V~tomto pklad byl pouit nov primitiv enc\TeX{}u "\noconvert",
jeho vlastnosti jsou uvedeny pozdji v~kapitole~5. Pipomnm tak,
e od verze Feb.~2003 nezpsobuj jednoznakov <byte_sequence> kolizi
s~vceznakovmi <byte_sequencemi> se stejnm zatkem, take tento
pklad neru konverzi \uv{znmch} UTF-8 kd.



\sec Rozpoznn zatku dku
%    ------------------------

Existuj-li v~konverzn tabulce <byte_sequence> 
s~prvnm znakem shodnm s~aktulnm "\endlinechar", 
tj.~<byte_sequence> jsou ve tvaru <endlinechar><zbytek>,
pak input procesor navc ovuje, zda je <zbytek> shodn se 
zatkem kadho dku. Pokud ano, provede poadovanou konverzi. 
Pklad pouit:

\begtt
\bgroup \uccode`X=\endlinechar \uppercase{\gdef\echar{X}}\egroup
\mubyte \fooB \echar ABC\endmubyte % vyhovuje ABC na zatku dku
\mubyte \fooE ABC\echar \endmubyte % vyhovuje ABC na konci dku
\mubyte \fooW \spce\space ABC\space \endmubyte
        % vyhovuje ABC jako slovo s mezerami vpedu i vzadu
\mubyte \foo #\echar ABC\endmubyte % 
        % je-li ABC na zatku dku, vlo ped nj \foo
\endtt


\sec Potlaen expanze v~parametrech write
%    -------------------------------------

Chceme-li pevdt kontroln sekvence zptn na <byte_sequence> pi
zpisu do "\write" soubor, musme potlait ppadnou expanzi tchto
kontrolnch sekvenc napklad pomoc "\let\macro=\relax". Protoe ale
"\write" asto pracuje asynchronn a kontrolnch sekvenc mapujcch
UTF-8 meme mt stovky nebo tisce, umouje enc\TeX{} nastavit
v~dob expanze parametr "\write" pslunm kontrolnm sekvencm
vznam "\relax" automaticky. Dl to pi "\mubyteout>=3" a vznam
"\relax" piad prv tm kontrolnm sekvencm, kter maj 
ve vstupn sti konverzn tabulky neprzdnou <byte_sequenci>. 
Jakkoli jin expanze mimo parametr "\write" probhaj 
normlnm zpsobem. Pklad:

\begtt
\mubyte \foo ABC\endmubyte  \def\foo{macro body}
\mubyteout=2
\immediate\write16{testwrite: \foo}  % zape "testwrite: macro body"
\immediate\write16{testwrite: \noexpand\foo} % zape "testwrite: ABC"
\mubyteout=3
\immediate\write16{testwrite: \foo}  % zape "testwrite: ABC"
\message{testmessage: \foo}          % zape "testmessage: macro body"
\message{testmessage: \noexpand\foo} % zape "testmessage: \foo"
\edef\a{testedef: \foo}              % expanduje na macro body
\foo                                 % expanduje na macro body
\immediate\write16{\meaning\foo}     % zape "\relax"
\message{\meaning\foo}               % zape "macro:->macro body"
\endtt

Pomoc zpisu "\mubyte <control_sequence> \relax \endmubyte" je mono
pidlit kontroln sekvenci pznak, aby se neexpandovala 
v~parametrech "\write" pi "\mubyteout>=3", ale na druh stran nebude
konvertovna do dn <byte_sequence>, ale vype se jako obvykle.
Uveden zpis m tedy stejn vznam jako 
"\mubyte" <control_sequence>" __\string" <control_sequence>"\space\endmubyte",
ale navc et pamt \TeX{}u, nebo \TeX{} nen nucen ukldat 
string <byte_sequence> do poolu.

Popsanou vlastnost enc\TeX{}u mete vyut k~vytven vlastnch 
maker, kter jinak expanduj v~parametrech "\write" a jinak
\uv{normln}. Pklad:

\begtt
\mubyte \writeparameter \relax \endmubyte \def\writeparameter{}
\def\mymacro{\ifx\writeparameter\relax Tady expanduji ve write.
             \else Tady expanduji normln.\fi}
\endtt


\sec Asynchronn zpracovn pkazu write
%    ------------------------------------

Je znmo, e pokud nepouijeme "\immediate", pak se argument pkazu
"\write" expanduje a pozdji: ne v~okamiku vskytu pkazu.
Pkaz "\write" si proto ulo do sv pamti aktuln 
hodnotu registru "\mubyteout" v~dob prvnho zpracovn a pak
pi expanzi a zpisu do souboru tuto hodnotu pouije.

Dky tto vlastnosti meme teba pro soubor s~obsahem zapisovat
s~hodnotou "\mubyteout=3" a souasn pi zpisu do jinho souboru
ponechme hodnotu "\mubyteout=0". To me bt douc
napklad proto, e soubor je uren ke zpracovn programem, kter
nem implementovnu schopnost prce s~UTF-8 kdovnm. Vyzkouejte:

\begtt
\newwrite\tocfile \newwrite\indexfile
\immediate\openout\tocfile=\jobname.toc
\immediate\openout\indexfile=\jobname.idx
\mubyteout=3
\write\tocfile{parametr se bude pozdji konvertovat do UTF-8}
{\mubyteout=0 \write\indexfile{parametr zstane nezmnn bez konverze}}
\write\tocfile{zde se znovu provede konverze}
\end % a teprve v tento okamik se vechny ti zpisy provedou
\endtt


\sec Hodnoty registru mubyteout
%    --------------------------

Krom ji zmnnch hodnot 0, 1, 2 a 3 registru "\mubyteout" me bt
nkdy uiten nastavit tento registr na hodnoty $-1$, $-2$ a $-3$. 
Vznam tchto hodnot je vysvtlen v~nsledujc tabulce:

\vbox{
\begtt
\mubyteout  <byte>-><byte_sequence>  <cs_name>-><byte_sequence>  potlaen expanze
----------------------------------------------------------------------------
   0             ne                       ne                   ne
   1             ano                      ne                   ne
   2             ano                      ano                  ne
   3             ano                      ano                  ano
  -1             ano                      ne                   ano
  -2             ne                       ne                   ano
\endtt
\relax}

Je-li zapnut konverze <byte>"->"<byte_sequence>, pak se tato konverze
provd i do logu a na terminl, zatmco konverze 
<cs_name>"->"<byte_sequence> a potlaen
expanze se tkaj jen argument "\write" a "\special". 


\kap Argumenty primitivu special
     %%%%%%%%%%%%%%%%%%%%%%%%%%%

V~argumentech "\special" se asto objevuj texty 
v~pirozenm jazyce (napklad texty pro zloky do PDF dokumentu).
Pi stle astjm pouvn UTF-8 je douc, aby tyto texty byly 
kdovny v~tomto kdovn. Enc\TeX{} tuto monost nabz.

Argument primitivu "\special" je zpracovn podle hodnoty celoselnho
registru "\specialout", kter m implicitn hodnotu~0.

\begitems
* "\speialout=0" -- dn konverze argumentu se neprovede.
* "\speialout=1" -- provede se konverze jen podle vektoru xchr.
* "\speialout=2" -- provede se konverze jen podle hodnoty "\mubyteout".
* "\speialout=3" -- provede se konverze podle hodnoty "\mubyteout"
                    nsledovan konverz podle xchr.
\enditems

Primitiv "\special" expanduje svj argument okamit. Pi
"\specialout" 2 nebo 3 se expanze provede podle hodnoty "\mubyteout"
stejn jako u~primitivu "\write". Pak si pkaz "\special" ulo do
pamti aktuln hodnoty "\specialout" a "\mubyteout" a tyto hodnoty
pouije jet jednou pi skutenm vstupu argumentu do "dvi" souboru.


\kap Primitiv noconvert
     %%%%%%%%%%%%%%%%%%

Enc\TeX{} zavd primitiv "\noconvert", kter
potla ppadnou konverzi nsledujcho znaku nebo kontroln sekvence.
Pesnji: primitiv "\noconvert" je neexpandujc a v~sazb neudl nic
(podobn jako "\relax"). Pokud se ale 
tento primitiv vyskytne v~argumentu "\message" nebo "\errmessage",
pak jeho kontroln sekvence nen vbec vytitna. Navc pak nsledujc 
znak nen konvertovn na <byte_sequenci>, akoli teba je "\mubytelog"
kladn a znak je uveden ve vstupn sti konverzn tabulky. 

Primitiv "\noconvert" se chov stejn i v~parametrech "\write" a
"\special". V~tomto ppad navc me primitiv "\noconvert" potlait
konverzi nsledujc kontroln sekvence, akoli je teba "\mubyteout"
v ne~2.

Konstrukce "\noconvert\noconvert" vytiskne jedno "\noconvert".

Pokud se m primitiv "\noconvert" vypsat v~jinch situacch (napklad
pi vpisu kontextu pi hlen o~chyb nebo pi rznch
"\tracing..."), pak jeho kontroln sekvence nemiz a navc 
neovlivn tisk nsledujcho znaku.


\kap Seznam primitiv enc\TeX{}u
     %%%%%%%%%%%%%%%%%%%%%%%%%%%

Pro lep orientaci uvdm pehled novch primitiv enc\TeX{}u:

\begitems
* "\mubyte"    --- zan daje do konverzn tabulky, viz~kap.~3.
* "\endmubyte" --- separtor pro "\mubyte".
* "\mubytein" --- registr integer. 0: vcebytov vstupn konverze
                  potlaena, 1 a vce: vcebytov vstupn konverze je
                  aktivovna. 
* "\mubyteout" --- registr integer, ovlivn konverzi do vstupnch
                  soubor "\write" a parametr "\special", viz~3.10.
* "\mubytelog" --- registr integer, 0: vcebytov vstupn konverze do
                  logu a na terminl potlaena, 1 a vce:  vcebytov 
                  vstupn konverze je aktivovna.
* "\specialout" --- registr integer, ovlivn zpracovn parametr
                  "\special", viz~kap.~4.
* "\noconvert" --- podobn jako "\noexpand", ale pro konverze. Viz~kap.~5.
* "\xordcode" --- pstup k~vektoru xord, viz 2.1.
* "\xchrcode" --- pstup k~vektoru xchr, viz 2.1.
* "\xprncode" --- pstup k~vektoru pro tisknutelnost znak, viz 2.2.
\enditems

Pehled prefix pi pouit 
"\mubyte"<first_token><optional_space><prefix><byte_sequence>"\endmubyte".
Znak~"#" zde oznauje libovoln token kategorie~6 a znak~"_" oznauje
libovoln token kategorie~7.

\begitems
* dn prefix --- zznam do vstupn i vstupn tabulky.
* "_" --- zznam jen do vstupn sti tabulky
* "__" --- zznam jen do vstupn sti tabulky
* "#<slo>" --- vloen kontroln sekvence, nsledujcch <slo> znak
  ponech input procesor beze zmny.
* "\relax" --- kontroln sekvence nebude expandovat v~parametrech "\write"
\enditems

Dal prefixy se mohou objevit v~budoucch verzch enc\TeX{}u. Vdy
budou mt kategorie odlin od 11 a 12, take pro zatek
<byte_sequence> je vhodn v~makrech pout token kategorie 11 nebo 12,
aby se pedelo ppadnmu konfliktu s~budouc vez enc\TeX{}u.


\kap Dokumentace k~piloenm souborm maker
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Tato st dokumentace nebyla ve verzi Dec. 2002 revidovan a je
ponechna ve stavu z~roku 1997 s~vjimkou nsledujcho odstavce.

\sec Kdovn UTF-8
%    --------------

Pro vstupn kdovn UTF-8 jsou pipraveny soubory "utf8-csf.tex" a
"utf8-t1.tex". V~tomto ppad je pekdovn implementovno pomoc
"\mubyte" a vektory xord, xchr jsou nastaveny tak, e na jejich rovni 
je zachovno identick zobrazen.

\sec Formty typu {\tt plain-x-y}
%    ----------------------------

V~balku jsou pipraveny inicializan soubory pro vygenerovn formtu
podobnmu standardnmu formtu plain. Napklad pkazem

\begtt
$ tex -ini -enc plain-1250-cs
\endtt

vygenerujeme formt analogick plainu, kter te vstupn soubory
v~kdovn CP1250 a pracuje s~CS-fonty.

V~balku jsou k~dispozici tyto inicializan soubory pro plain:

\begtt
plain-il2-cs   ...  vstup podle ISO8859-2, textov fonty v TeXu: CS-font
plain-kam-cs   ...  vstup podle Kamenickch, textov fonty v TeXu: CS-font
plain-1250-cs  ...  vstup podle CP1250, textov fonty v TeXu: CS-font
plain-852-cs   ...  vstup podle CP852, textov fonty v TeXu: CS-font
plain-il2-dc   ...  vstup podle ISO8859-2, textov fonty v TeXu: DC
plain-kam-dc   ...  vstup podle Kamenickch, textov fonty v TeXu: DC
plain-1250-dc  ...  vstup podle CP1250, textov fonty v TeXu: DC
plain-852-dc   ...  vstup podle CP852, textov fonty v TeXu: DC
\endtt

\sec Poznmka k~dlouhm nzvm soubor
%    ---------------------------------

Vechny soubory "*.tex" v~balku spluj DOSov omezen na dlku nzvu
8+3. Vjimkou z~tohoto pravidla jsou pouze soubory plain-x-y popsan
ve a analogick inicializan soubory pro La\TeX{}. Pokud pouvte
systm, kter je omezen na 8+3, doporuuji pro kad kdovn zvolit
jedno psmeno (napklad c=cs, d=dc, i=il2, w=1250, p=852, k=kam,
o=koi8, m=mac) a nahradit nzvy soubor v~distribuci tmito nzvy:

\begtt
plain-il2-cs.tex     plain-ic.tex
plain-kam-cs.tex     plain-kc.tex
plain-1250-cs.tex    plain-wc.tex
plain-852-cs.tex     plain-pc.tex
plain-il2-dc.tex     plain-id.tex
plain-kam-dc.tex     plain-kd.tex
plain-1250-dc.tex    plain-wd.tex
plain-852-dc.tex     plain-pd.tex
kam-latex.tex        latex-ki.tex
852-latex.tex        latex-pi.tex
\endtt

Obsah "\message" v~souborech {\tt plain-x-y} nemte. Napklad formt
"plain-wc" se po sputn pedstav svm plnm jmnem

\catcode`\<=12
\begtt
The format: plain-1250-cs <Sep. 1997>.
\endtt
\catcode`\<=13

\sec Kdovac tabulky
%    ----------------

Protoe zmna vektor xord a xchr me totln rozhodit chovn
\TeX{}u zcela k~nepoznn, doporuuji pouvat urit soubory, kter
nastav poadovan kdovn, a dle s~primitivy "\xordcode",
"\xchrcode" a "\xprncode" za bhu \TeX{}u moc nelakovat. V~balku
enc\TeX{} jsou k~dispozici soubory, kter zmnu vektor pro bn
kdovn definuj. Tyto soubory maj obvyklou pponu tex. kme jim
kdovac tabulky. Rozliujeme dva typy kdovacch tabulek.


\sec Prvn typ kdovacch tabulek
%    ----------------------------

Prvn typ tabulek deklaruje vnitn kdovn \TeX{}u ve vztahu ke kdovn,
kter je bn pouvan v~hostitelskm operanm systmu. Mme-li
napklad v~systmu kdovn ISO-8859-2 a vnitn kdovn \TeX{}u volme
podle Corku (kdovn je oznaovno jako T1), pak tabulka mus pedefinovat
xord vektor tak, aby mapoval znaky z~ISO-8859-2 do T1 a vektor xchr mus
pevdt zptky z~T1 do kdovn systmu.

Tento typ tabulek je pouit v~inicializanch souborech "plain-*.tex" a
obsahuje v~nzvu souboru vstupn i clov vnitn kdovn \TeX{}u. Podvejte
se, jak vypad napklad tabulka "il2-t1.tex", kter definuje vnitn
kdovn \TeX{}u podle Corku a vstupn kdovn ISO8859-2.

Kad tabulka prvnho typu te soubor "encmacro.tex" s~definicemi maker
"\setcharcode", "\expandto", "\texaccent", "\texmacro" a "\redefaccent".

\begitems
* "\setcharcode #1 #2 #3 #4 #5 #6 #7" deklaruje \TeX{}ov kdy pro jeden znak.
  Nastav xord["#1"]="#2", xchr["#2"]="#1", "\xprncode#2"="#7" a 
  postupn nastav "\lccode", "\uccode", "\sfcode" a "\catcode" znaku 
  s~kdem "#2" na hodnoty "#3", "#4", "#5" a "#6". 
  Je-li "#1" otaznk, pak se xord a xchr nenastav.

* "\expandto {<definice>}" definuje aktivn podobu znaku "#2" z~poslednho
  "\setcharcode" tak, e tento token expanduje na <definici>. Podrobnji:
  je-li v~"\setcharcode" uvedeno "#6=13", pak bude kad vskyt znaku "#2"
  expandovat na <definici>. Nen-li v~"\setcharcode" eeno "#6=13", pak
  k~expanzi znaku "#2" na <definici> dojde teprve tehdy, kdy bude
  (teba pozdji) nastaveno "\catcode" znaku "#2" na "13".

* "\texaccent" uv{zpis akcentu} pipravuje expanzi \uv{zpisu akcentu} 
  na znak s~kdem "#2" z~naposledy pouitho "\setcharcode". Napklad 
  zpis "\v C" bude po naten souboru il2-t1.tex expandovat na znak 
  s~kdem {\tt\char`\"83}. Pokud zpis pro akcent nen v~tabulce uveden, 
  zstv v~pvodnm vznamu, tj. teba "\v g" expanduje na primitiv 
  "\accent", kter usad hek nad psmeno g.
  K~aktivaci vech \uv{zpis akcentu} dojde a po pouit makra
  "\redefaccent" (viz ne).

* "\texmacro #1" deklaruje makro "#1" tak, e bude expandovat na znak s~kdem
  "#2" z~naposledy pouitho "\setcharcode". K~pedefinovn makra "#1" 
  dojde (na rozdl od "\texaccent") okamit. Napklad makro "\S" bude 
  po naten souboru "il2-t1.tex" expandovat na znak s~kdem "9F", protoe 
  na tto pozici je podle Corku znak paragraf.

* "\redefaccent #1" aktivuje expanzi zpis podle "\texaccent" pro jeden
  konkrtn akcent "#1".
\enditems

Krom toho je na zatku tabulky ten soubor definic zvislch na kdovn
textovho fontu \TeX{}u. V~na ukzce jde napklad o~soubor "t1macro.tex".
Definuj se tam sekvence "\promile", "\clqq" a dal. 

Me se stt, e nechceme uveden makra pout, ale hodnoty z~tabulky
nast chceme. Pak meme pistoupit k~nsledujcmu triku: Definujeme si
makra "\setcharcode" a "\redefaccent" sami a dle provedeme naten tabulky
takto:

\begtt
\let\originput=\input \def\input #1  \originput il2-t1
\let\input=\originput
\endtt

V~balku jsou pipraveny tyto tabulky prvnho druhu:

\begtt
Nzev souboru       vstupn kdovn    vnitn kdovn TeXu
-------------------------------------------------------------
il2-csf.tex         ISO8859-2           CS-font
kam-csf.tex         Kamenickch         CS-font
1250-csf.tex        CP1250, MS-Windows  CS-font
852-csf.tex         CP852, PC Latin2    CS-font
il2-t1.tex          ISO8859-2           T1 alias Cork
kam-t1.tex          Kamenickch         T1 alias Cork
1250-t1.tex         CP1250, MS-Windows  T1 alias Cork
852-t1.tex          CP852, PC Latin2    T1 alias Cork
\endtt

Za zmnku stoj prvn uveden tabulka "il2-csf.tex", protoe ta
jedin ponechv vektory xord a xchr beze zmny. Tuto tabulku
je tedy mon pout i v~\TeX{}u, kter neobsahuje rozen
enc\TeX{}. Vechny ostatn tabulky enc\TeX{} explicitn vyaduj.


\sec Druh typ kdovacch tabulek
%    ----------------------------

Druh typ tabulek provd pekdovn pouze na vstupn stran \TeX{}u. Poznme
je podle toho, e nemaj na konci nzvu znaku pro vnitn kdovn \TeX{}u
(tj. "t1" nebo "csf"), ale znaku pouvanou pro kdovn operanho systmu
(nap. "il2", "kam"). Teba tabulka "kam-il2.tex" provd na vstupn stran
konverzi z~kdovn kamenickch do kdovn ISO8859-2. Tento typ tabulek
pozmuje pouze vektor xchr, ale vstupn vektor xord ponechv beze zmny.
Takovou tabulku pouijeme, pokud \TeX{}em natme soubor, kter je v~jinm
kdovn, ne bn pouvme na naem operanm systmu. Pitom vstup do
log, aux apod. ponechme v~kdovn podle naeho systmu. Tyto zmny
kdovn je mon provdt i v~prbhu zpracovn jedinho dokumentu.

Druh typ tabulek navazuje na vstupn kdovn deklarovan dve
tabulkou prvnho typu. Nastaven vnitnho kdovn \TeX{}u nen vbec
druhm typem tabulek mnno. Uvedeme pklad. Pi generovn formtu
jsme pouili tabulku prvnho typu "il2-t1.tex", take vnitn
kdovn mme podle Corku. Nyn meme pi zpracovn dokumentu na
pechodnou dobu vybrat nkterou z~tabulek "*-il2.tex", teba:

\begtt
\input kam-il2  
\input dokument
\restoreinputencoding
nyn mohu pracovat v pvodnm kdovn...
\end
\endtt

V~dob, kdy probh natn souboru dokument.tex se provd
pekdovn z~Kamenickch do T1, uvnit \TeX{}u se ve zpracovv
v~T1 a vstup na terminl a do logu mme v~ISO8859-2. V~tomto
kdovn je tak zapsn dal text pod "\restoreinputencoding".
Tabulka toti deklaruje toto makro, aby byl mon nvrat k~pvodnmu
nastaven vektoru xord.

Pi pouit tabulek druhho typu musme dt velk pozor, abychom nco
neudlali patn. V~naem pklad jsou vechny vstupy do soubor
typu aux v~ISO-8859-2, take je pi opakovanm sputn \TeX{}u nesmme
natat v~okamiku, kdy mme nastaven vstupn kd podle Kamenickch. To je
tak dvod, pro nedoporuuji generovat formt pkazem "\dump" v~situaci,
kdy mme natenou tabulku druhho typu.

\end