the Matita manual is now convertible to a decent .tex that is processable both

[helm.git] / share / texmf / unicode / data / uni-139.def

diff --git a/share/texmf/unicode/data/uni-139.def b/share/texmf/unicode/data/uni-139.def
new file mode 100644 (file)
index 0000000..113f48c
--- /dev/null
+++ b/share/texmf/unicode/data/uni-139.def
@@ -0,0 +1,281 @@
+%%% Unicode to TeX mapping, file uni-139.def, U+8B00..U+8BFF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-139.def}[2006/06/08 UCS: Unicode data U+8B00..U+8BFF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{35584}{cjkbg5}{\u@cjk@Bgv19D5}%
+\uc@dclc{35584}{cjkjis}{\jischar{4B45}}%
+\uc@dclc{35585}{cjkbg5}{\u@cjk@Bgv19DA}%
+\uc@dclc{35585}{cjkjis}{\jischar{315A}}%
+\uc@dclc{35586}{cjkbg5}{\u@cjk@Bgv19DB}%
+\uc@dclc{35586}{cjkjis}{\jischar{3062}}%
+\uc@dclc{35588}{cjkbg5}{\u@cjk@Bgv2101}%
+\uc@dclc{35588}{cjkjis}{\jischar{4625}}%
+\uc@dclc{35589}{cjkbg5}{\u@cjk@Bgv487B}%
+\uc@dclc{35590}{cjkbg5}{\u@cjk@Bgv4884}%
+\uc@dclc{35591}{cjkbg5}{\u@cjk@Bgv4881}%
+\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{35591}{cjkgb}{\u@cjk@GB2617}%
+\uc@dclc{35591}{cjkjis}{\jischar{6B69}}%
+\uc@dclc{35592}{cjkbg5}{\u@cjk@Bgv4883}%
+\uc@dclc{35594}{cjkbg5}{\u@cjk@Bgv20FE}%
+\uc@dclc{35595}{cjkbg5}{\u@cjk@Bgv487C}%
+\uc@dclc{35596}{cjkjis}{\jischar{6B68}}%
+\uc@dclc{35597}{cjkbg5}{\u@cjk@Bgv4882}%
+\uc@dclc{35598}{cjkbg5}{\u@cjk@Bgv20FA}%
+\uc@dclc{35598}{cjkjis}{\jischar{4666}}%
+\uc@dclc{35599}{cjkbg5}{\u@cjk@Bgv487E}%
+\uc@dclc{35600}{cjkbg5}{\u@cjk@Bgv2102}%
+\uc@dclc{35600}{cjkjis}{\jischar{6B6D}}%
+\uc@dclc{35601}{cjkbg5}{\u@cjk@Bgv487A}%
+\uc@dclc{35602}{cjkbg5}{\u@cjk@Bgv487F}%
+\uc@dclc{35603}{cjkbg5}{\u@cjk@Bgv4886}%
+\uc@dclc{35604}{cjkbg5}{\u@cjk@Bgv46A6}%
+\uc@dclc{35604}{cjkjis}{\jischar{6B62}}%
+\uc@dclc{35605}{cjkbg5}{\u@cjk@Bgv4880}%
+\uc@dclc{35606}{cjkbg5}{\u@cjk@Bgv4879}%
+\uc@dclc{35606}{cjkjis}{\jischar{6B6C}}%
+\uc@dclc{35607}{cjkbg5}{\u@cjk@Bgv20FB}%
+\uc@dclc{35607}{cjkjis}{\jischar{6B6E}}%
+\uc@dclc{35608}{cjkbg5}{\u@cjk@Bgv4878}%
+\uc@dclc{35609}{cjkbg5}{\u@cjk@Bgv20FC}%
+\uc@dclc{35609}{cjkjis}{\jischar{382C}}%
+\uc@dclc{35610}{cjkbg5}{\u@cjk@Bgv4887}%
+\uc@dclc{35610}{cjkjis}{\jischar{6B6A}}%
+\uc@dclc{35611}{cjkbg5}{\u@cjk@Bgv20FD}%
+\uc@dclc{35611}{cjkjis}{\jischar{3956}}%
+\uc@dclc{35612}{cjkbg5}{\u@cjk@Bgv4885}%
+\uc@dclc{35613}{cjkbg5}{\u@cjk@Bgv2100}%
+\uc@dclc{35613}{cjkjis}{\jischar{3C55}}%
+\uc@dclc{35614}{cjkbg5}{\u@cjk@Bgv4877}%
+\uc@dclc{35616}{cjkbg5}{\u@cjk@Bgv20FF}%
+\uc@dclc{35616}{cjkjis}{\jischar{6B6F}}%
+\uc@dclc{35617}{cjkjis}{\jischar{4D58}}%
+\uc@dclc{35618}{cjkbg5}{\u@cjk@Bgv487D}%
+\uc@dclc{35619}{cjkbg5}{\u@cjk@Bgv49ED}%
+\uc@dclc{35620}{cjkbg5}{\u@cjk@Bgv49FB}%
+\uc@dclc{35621}{cjkbg5}{\u@cjk@Bgv49F6}%
+\uc@dclc{35622}{cjkbg5}{\u@cjk@Bgv49F8}%
+\uc@dclc{35622}{cjkgb}{\u@cjk@GB323A}%
+\uc@dclc{35622}{cjkjis}{\jischar{6B72}}%
+\uc@dclc{35623}{cjkbg5}{\u@cjk@Bgv49EC}%
+\uc@dclc{35624}{cjkbg5}{\u@cjk@Bgv21AE}%
+\uc@dclc{35624}{cjkjis}{\jischar{6B75}}%
+\uc@dclc{35626}{cjkbg5}{\u@cjk@Bgv49EB}%
+\uc@dclc{35627}{cjkbg5}{\u@cjk@Bgv21B1}%
+\uc@dclc{35627}{cjkjis}{\jischar{6B73}}%
+\uc@dclc{35628}{cjkbg5}{\u@cjk@Bgv21B0}%
+\uc@dclc{35628}{cjkjis}{\jischar{4935}}%
+\uc@dclc{35630}{cjkbg5}{\u@cjk@Bgv49FA}%
+\uc@dclc{35631}{cjkbg5}{\u@cjk@Bgv49F2}%
+\uc@dclc{35632}{cjkbg5}{\u@cjk@Bgv49EF}%
+\uc@dclc{35633}{cjkbg5}{\u@cjk@Bgv49F5}%
+\uc@dclc{35635}{cjkbg5}{\u@cjk@Bgv49EE}%
+\uc@dclc{35635}{cjkjis}{\jischar{6B70}}%
+\uc@dclc{35637}{cjkbg5}{\u@cjk@Bgv49F0}%
+\uc@dclc{35638}{cjkbg5}{\u@cjk@Bgv49F9}%
+\uc@dclc{35639}{cjkbg5}{\u@cjk@Bgv49F7}%
+\uc@dclc{35641}{cjkbg5}{\u@cjk@Bgv21AF}%
+\uc@dclc{35641}{cjkjis}{\jischar{3660}}%
+\uc@dclc{35642}{cjkbg5}{\u@cjk@Bgv49FE}%
+\uc@dclc{35643}{cjkbg5}{\u@cjk@Bgv49FC}%
+\uc@dclc{35644}{cjkbg5}{\u@cjk@Bgv49F3}%
+\uc@dclc{35645}{cjkbg5}{\u@cjk@Bgv49FD}%
+\uc@dclc{35646}{cjkbg5}{\u@cjk@Bgv49F4}%
+\uc@dclc{35646}{cjkjis}{\jischar{6B74}}%
+\uc@dclc{35648}{cjkbg5}{\u@cjk@Bgv5144}%
+\uc@dclc{35649}{cjkbg5}{\u@cjk@Bgv2247}%
+\uc@dclc{35649}{cjkjis}{\jischar{6B76}}%
+\uc@dclc{35650}{cjkbg5}{\u@cjk@Bgv514B}%
+\uc@dclc{35653}{cjkbg5}{\u@cjk@Bgv5330}%
+\uc@dclc{35654}{cjkbg5}{\u@cjk@Bgv224E}%
+\uc@dclc{35655}{cjkbg5}{\u@cjk@Bgv49F1}%
+\uc@dclc{35656}{cjkbg5}{\u@cjk@Bgv5142}%
+\uc@dclc{35657}{cjkbg5}{\u@cjk@Bgv224A}%
+\uc@dclc{35657}{cjkjis}{\jischar{6B7A}}%
+\uc@dclc{35658}{cjkbg5}{\u@cjk@Bgv5143}%
+\uc@dclc{35659}{cjkbg5}{\u@cjk@Bgv5148}%
+\uc@dclc{35660}{cjkjis}{\jischar{6B77}}%
+\uc@dclc{35662}{cjkbg5}{\u@cjk@Bgv224C}%
+\uc@dclc{35662}{cjkjis}{\jischar{6B79}}%
+\uc@dclc{35663}{cjkbg5}{\u@cjk@Bgv224D}%
+\uc@dclc{35663}{cjkjis}{\jischar{6B78}}%
+\uc@dclc{35664}{cjkbg5}{\u@cjk@Bgv5141}%
+\uc@dclc{35665}{cjkbg5}{\u@cjk@Bgv514A}%
+\uc@dclc{35666}{cjkbg5}{\u@cjk@Bgv514C}%
+\uc@dclc{35667}{cjkbg5}{\u@cjk@Bgv5145}%
+\uc@dclc{35668}{cjkbg5}{\u@cjk@Bgv5147}%
+\uc@dclc{35669}{cjkbg5}{\u@cjk@Bgv5149}%
+\uc@dclc{35670}{cjkbg5}{\u@cjk@Bgv5146}%
+\uc@dclc{35670}{cjkjis}{\jischar{6B7B}}%
+\uc@dclc{35671}{cjkbg5}{\u@cjk@Bgv514D}%
+\uc@dclc{35672}{cjkbg5}{\u@cjk@Bgv2249}%
+\uc@dclc{35672}{cjkjis}{\jischar{3C31}}%
+\uc@dclc{35673}{cjkbg5}{\u@cjk@Bgv224F}%
+\uc@dclc{35674}{cjkbg5}{\u@cjk@Bgv224B}%
+\uc@dclc{35674}{cjkjis}{\jischar{6B7D}}%
+\uc@dclc{35675}{cjkjis}{\jischar{6B7C}}%
+\uc@dclc{35676}{cjkbg5}{\u@cjk@Bgv2248}%
+\uc@dclc{35676}{cjkjis}{\jischar{4968}}%
+\uc@dclc{35677}{cjkbg5}{\u@cjk@Bgv5255}%
+\uc@dclc{35679}{cjkbg5}{\u@cjk@Bgv22CC}%
+\uc@dclc{35679}{cjkjis}{\jischar{6C21}}%
+\uc@dclc{35680}{cjkbg5}{\u@cjk@Bgv5253}%
+\uc@dclc{35683}{cjkbg5}{\u@cjk@Bgv5257}%
+\uc@dclc{35685}{cjkbg5}{\u@cjk@Bgv5258}%
+\uc@dclc{35686}{cjkbg5}{\u@cjk@Bgv22CA}%
+\uc@dclc{35686}{cjkgb}{\u@cjk@GB11B4}%
+\uc@dclc{35686}{cjkjis}{\jischar{3759}}%
+\uc@dclc{35687}{cjkbg5}{\u@cjk@Bgv5259}%
+\uc@dclc{35688}{cjkbg5}{\u@cjk@Bgv5256}%
+\uc@dclc{35690}{cjkbg5}{\u@cjk@Bgv5254}%
+\uc@dclc{35691}{cjkbg5}{\u@cjk@Bgv22CD}%
+\uc@dclc{35691}{cjkjis}{\jischar{6B7E}}%
+\uc@dclc{35692}{cjkbg5}{\u@cjk@Bgv22C9}%
+\uc@dclc{35692}{cjkgb}{\u@cjk@GB149E}%
+\uc@dclc{35692}{cjkjis}{\jischar{6C22}}%
+\uc@dclc{35693}{cjkbg5}{\u@cjk@Bgv525A}%
+\uc@dclc{35695}{cjkbg5}{\u@cjk@Bgv22CB}%
+\uc@dclc{35695}{cjkjis}{\jischar{6C23}}%
+\uc@dclc{35696}{cjkbg5}{\u@cjk@Bgv22C8}%
+\uc@dclc{35696}{cjkjis}{\jischar{3544}}%
+\uc@dclc{35697}{cjkjis}{\jischar{6641}}%
+\uc@dclc{35698}{cjkjis}{\jischar{3E79}}%
+\uc@dclc{35700}{cjkbg5}{\u@cjk@Bgv2313}%
+\uc@dclc{35700}{cjkjis}{\jischar{6C24}}%
+\uc@dclc{35703}{cjkbg5}{\u@cjk@Bgv2314}%
+\uc@dclc{35703}{cjkjis}{\jischar{386E}}%
+\uc@dclc{35704}{cjkbg5}{\u@cjk@Bgv532F}%
+\uc@dclc{35705}{cjkbg5}{\u@cjk@Bgv532E}%
+\uc@dclc{35706}{cjkbg5}{\u@cjk@Bgv5331}%
+\uc@dclc{35707}{cjkbg5}{\u@cjk@Bgv5332}%
+\uc@dclc{35709}{cjkbg5}{\u@cjk@Bgv2315}%
+\uc@dclc{35709}{cjkjis}{\jischar{6C25}}%
+\uc@dclc{35710}{cjkbg5}{\u@cjk@Bgv53D4}%
+\uc@dclc{35711}{cjkbg5}{\u@cjk@Bgv53D9}%
+\uc@dclc{35712}{cjkbg5}{\u@cjk@Bgv235C}%
+\uc@dclc{35712}{cjkjis}{\jischar{6C26}}%
+\uc@dclc{35714}{cjkbg5}{\u@cjk@Bgv53D6}%
+\uc@dclc{35715}{cjkjis}{\jischar{3B3E}}%
+\uc@dclc{35716}{cjkbg5}{\u@cjk@Bgv53D5}%
+\uc@dclc{35717}{cjkbg5}{\u@cjk@Bgv53D8}%
+\uc@dclc{35718}{cjkbg5}{\u@cjk@Bgv53D7}%
+\uc@dclc{35720}{cjkbg5}{\u@cjk@Bgv545E}%
+\uc@dclc{35722}{cjkbg5}{\u@cjk@Bgv238E}%
+\uc@dclc{35722}{cjkjis}{\jischar{5A4E}}%
+\uc@dclc{35723}{cjkbg5}{\u@cjk@Bgv545D}%
+\uc@dclc{35724}{cjkbg5}{\u@cjk@Bgv545B}%
+\uc@dclc{35724}{cjkjis}{\jischar{6C27}}%
+\uc@dclc{35726}{cjkbg5}{\u@cjk@Bgv545C}%
+\uc@dclc{35726}{cjkjis}{\jischar{6C28}}%
+\uc@dclc{35728}{cjkjis}{\jischar{3D32}}%
+\uc@dclc{35730}{cjkbg5}{\u@cjk@Bgv23B0}%
+\uc@dclc{35730}{cjkjis}{\jischar{6C29}}%
+\uc@dclc{35731}{cjkbg5}{\u@cjk@Bgv23AF}%
+\uc@dclc{35731}{cjkjis}{\jischar{6C2A}}%
+\uc@dclc{35732}{cjkbg5}{\u@cjk@Bgv54BA}%
+\uc@dclc{35733}{cjkbg5}{\u@cjk@Bgv54BB}%
+\uc@dclc{35734}{cjkbg5}{\u@cjk@Bgv23B1}%
+\uc@dclc{35734}{cjkjis}{\jischar{6C2B}}%
+\uc@dclc{35736}{cjkbg5}{\u@cjk@Bgv5505}%
+\uc@dclc{35737}{cjkbg5}{\u@cjk@Bgv5506}%
+\uc@dclc{35737}{cjkjis}{\jischar{6C2C}}%
+\uc@dclc{35738}{cjkbg5}{\u@cjk@Bgv23D8}%
+\uc@dclc{35738}{cjkjis}{\jischar{6C2D}}%
+\uc@dclc{35740}{cjkbg5}{\u@cjk@Bgv23DE}%
+\uc@dclc{35742}{cjkbg5}{\u@cjk@Bgv553F}%
+\uc@dclc{35743}{cjkbg5}{\u@cjk@Bgv555E}%
+\uc@dclc{35744}{cjkgb}{\u@cjk@GB21F2}%
+\uc@dclc{35745}{cjkgb}{\u@cjk@GB110F}%
+\uc@dclc{35746}{cjkgb}{\u@cjk@GB08BE}%
+\uc@dclc{35747}{cjkgb}{\u@cjk@GB098D}%
+\uc@dclc{35748}{cjkgb}{\u@cjk@GB1580}%
+\uc@dclc{35749}{cjkgb}{\u@cjk@GB10EE}%
+\uc@dclc{35750}{cjkgb}{\u@cjk@GB21F3}%
+\uc@dclc{35751}{cjkgb}{\u@cjk@GB21F4}%
+\uc@dclc{35752}{cjkgb}{\u@cjk@GB16FF}%
+\uc@dclc{35753}{cjkgb}{\u@cjk@GB1574}%
+\uc@dclc{35754}{cjkgb}{\u@cjk@GB21F5}%
+\uc@dclc{35755}{cjkgb}{\u@cjk@GB14F2}%
+\uc@dclc{35757}{cjkgb}{\u@cjk@GB18B4}%
+\uc@dclc{35758}{cjkgb}{\u@cjk@GB1946}%
+\uc@dclc{35759}{cjkgb}{\u@cjk@GB18B5}%
+\uc@dclc{35760}{cjkgb}{\u@cjk@GB1110}%
+\uc@dclc{35762}{cjkgb}{\u@cjk@GB1159}%
+\uc@dclc{35763}{cjkgb}{\u@cjk@GB10CF}%
+\uc@dclc{35764}{cjkgb}{\u@cjk@GB21F6}%
+\uc@dclc{35765}{cjkgb}{\u@cjk@GB21F7}%
+\uc@dclc{35766}{cjkgb}{\u@cjk@GB18C7}%
+\uc@dclc{35767}{cjkgb}{\u@cjk@GB21F8}%
+\uc@dclc{35768}{cjkgb}{\u@cjk@GB188E}%
+\uc@dclc{35769}{cjkgb}{\u@cjk@GB0904}%
+\uc@dclc{35770}{cjkgb}{\u@cjk@GB1358}%
+\uc@dclc{35772}{cjkgb}{\u@cjk@GB169A}%
+\uc@dclc{35773}{cjkgb}{\u@cjk@GB0960}%
+\uc@dclc{35774}{cjkgb}{\u@cjk@GB15F7}%
+\uc@dclc{35775}{cjkgb}{\u@cjk@GB0936}%
+\uc@dclc{35776}{cjkgb}{\u@cjk@GB11FC}%
+\uc@dclc{35777}{cjkgb}{\u@cjk@GB2079}%
+\uc@dclc{35778}{cjkgb}{\u@cjk@GB21F9}%
+\uc@dclc{35779}{cjkgb}{\u@cjk@GB21FA}%
+\uc@dclc{35780}{cjkgb}{\u@cjk@GB14B5}%
+\uc@dclc{35781}{cjkgb}{\u@cjk@GB211A}%
+\uc@dclc{35782}{cjkgb}{\u@cjk@GB1623}%
+\uc@dclc{35784}{cjkgb}{\u@cjk@GB2020}%
+\uc@dclc{35785}{cjkgb}{\u@cjk@GB16AA}%
+\uc@dclc{35786}{cjkgb}{\u@cjk@GB2066}%
+\uc@dclc{35787}{cjkgb}{\u@cjk@GB21FB}%
+\uc@dclc{35788}{cjkgb}{\u@cjk@GB20B4}%
+\uc@dclc{35789}{cjkgb}{\u@cjk@GB0823}%
+\uc@dclc{35790}{cjkgb}{\u@cjk@GB21FD}%
+\uc@dclc{35791}{cjkgb}{\u@cjk@GB21FC}%
+\uc@dclc{35793}{cjkgb}{\u@cjk@GB1948}%
+\uc@dclc{35794}{cjkgb}{\u@cjk@GB21FE}%
+\uc@dclc{35795}{cjkgb}{\u@cjk@GB21FF}%
+\uc@dclc{35796}{cjkgb}{\u@cjk@GB2200}%
+\uc@dclc{35797}{cjkgb}{\u@cjk@GB1641}%
+\uc@dclc{35798}{cjkgb}{\u@cjk@GB2201}%
+\uc@dclc{35799}{cjkgb}{\u@cjk@GB1618}%
+\uc@dclc{35800}{cjkgb}{\u@cjk@GB2202}%
+\uc@dclc{35801}{cjkgb}{\u@cjk@GB2203}%
+\uc@dclc{35802}{cjkgb}{\u@cjk@GB07CA}%
+\uc@dclc{35803}{cjkgb}{\u@cjk@GB20C4}%
+\uc@dclc{35804}{cjkgb}{\u@cjk@GB2204}%
+\uc@dclc{35805}{cjkgb}{\u@cjk@GB109B}%
+\uc@dclc{35806}{cjkgb}{\u@cjk@GB0865}%
+\uc@dclc{35807}{cjkgb}{\u@cjk@GB2205}%
+\uc@dclc{35808}{cjkgb}{\u@cjk@GB2206}%
+\uc@dclc{35809}{cjkgb}{\u@cjk@GB101D}%
+\uc@dclc{35810}{cjkgb}{\u@cjk@GB18AE}%
+\uc@dclc{35811}{cjkgb}{\u@cjk@GB1945}%
+\uc@dclc{35812}{cjkgb}{\u@cjk@GB2207}%
+\uc@dclc{35813}{cjkgb}{\u@cjk@GB0994}%
+\uc@dclc{35814}{cjkgb}{\u@cjk@GB182D}%
+\uc@dclc{35815}{cjkgb}{\u@cjk@GB078C}%
+\uc@dclc{35816}{cjkgb}{\u@cjk@GB2208}%
+\uc@dclc{35817}{cjkgb}{\u@cjk@GB2209}%
+\uc@dclc{35819}{cjkgb}{\u@cjk@GB1192}%
+\uc@dclc{35820}{cjkgb}{\u@cjk@GB17C1}%
+\uc@dclc{35821}{cjkgb}{\u@cjk@GB19AA}%
+\uc@dclc{35822}{cjkgb}{\u@cjk@GB220A}%
+\uc@dclc{35823}{cjkgb}{\u@cjk@GB17D8}%
+\uc@dclc{35824}{cjkgb}{\u@cjk@GB220B}%
+\uc@dclc{35825}{cjkgb}{\u@cjk@GB1990}%
+\uc@dclc{35826}{cjkgb}{\u@cjk@GB10D0}%
+\uc@dclc{35827}{cjkgb}{\u@cjk@GB220C}%
+\uc@dclc{35828}{cjkgb}{\u@cjk@GB1680}%
+\uc@dclc{35829}{cjkgb}{\u@cjk@GB169B}%
+\uc@dclc{35830}{cjkgb}{\u@cjk@GB220D}%
+\uc@dclc{35831}{cjkgb}{\u@cjk@GB153E}%
+\uc@dclc{35832}{cjkgb}{\u@cjk@GB20C3}%
+\uc@dclc{35833}{cjkgb}{\u@cjk@GB220E}%
+\uc@dclc{35834}{cjkgb}{\u@cjk@GB144C}%
+\uc@dclc{35835}{cjkgb}{\u@cjk@GB08D6}%
+\uc@dclc{35836}{cjkgb}{\u@cjk@GB220F}%
+\uc@dclc{35837}{cjkgb}{\u@cjk@GB093F}%
+\uc@dclc{35838}{cjkgb}{\u@cjk@GB1231}%
+\uc@dclc{35839}{cjkgb}{\u@cjk@GB2210}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: