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

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

diff --git a/share/texmf/unicode/data/uni-153.def b/share/texmf/unicode/data/uni-153.def
new file mode 100644 (file)
index 0000000..9daf2bd
--- /dev/null
+++ b/share/texmf/unicode/data/uni-153.def
@@ -0,0 +1,266 @@
+%%% Unicode to TeX mapping, file uni-153.def, U+9900..U+99FF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-153.def}[2006/06/08 UCS: Unicode data U+9900..U+99FF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{39168}{cjkbg5}{\u@cjk@Bgv4284}%
+\uc@dclc{39170}{cjkbg5}{\u@cjk@Bgv4283}%
+\uc@dclc{39171}{cjkbg5}{\u@cjk@Bgv1775}%
+\uc@dclc{39171}{cjkjis}{\jischar{712D}}%
+\uc@dclc{39173}{cjkbg5}{\u@cjk@Bgv1776}%
+\uc@dclc{39173}{cjkjis}{\jischar{4C5F}}%
+\uc@dclc{39175}{cjkbg5}{\u@cjk@Bgv4285}%
+\uc@dclc{39176}{cjkbg5}{\u@cjk@Bgv44E8}%
+\uc@dclc{39177}{cjkbg5}{\u@cjk@Bgv1778}%
+\uc@dclc{39177}{cjkjis}{\jischar{712E}}%
+\uc@dclc{39178}{cjkbg5}{\u@cjk@Bgv18F2}%
+\uc@dclc{39178}{cjkjis}{\jischar{4D5C}}%
+\uc@dclc{39180}{cjkbg5}{\u@cjk@Bgv1777}%
+\uc@dclc{39180}{cjkjis}{\jischar{3142}}%
+\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{39181}{cjkgb}{\u@cjk@GB32C3}%
+\uc@dclc{39184}{cjkbg5}{\u@cjk@Bgv201F}%
+\uc@dclc{39184}{cjkgb}{\u@cjk@GB076A}%
+\uc@dclc{39184}{cjkjis}{\jischar{3B41}}%
+\uc@dclc{39185}{cjkbg5}{\u@cjk@Bgv44EA}%
+\uc@dclc{39186}{cjkbg5}{\u@cjk@Bgv18F4}%
+\uc@dclc{39186}{cjkjis}{\jischar{712F}}%
+\uc@dclc{39187}{cjkbg5}{\u@cjk@Bgv18F3}%
+\uc@dclc{39187}{cjkjis}{\jischar{326E}}%
+\uc@dclc{39188}{cjkbg5}{\u@cjk@Bgv44EB}%
+\uc@dclc{39188}{cjkjis}{\jischar{7130}}%
+\uc@dclc{39189}{cjkbg5}{\u@cjk@Bgv44EE}%
+\uc@dclc{39190}{cjkbg5}{\u@cjk@Bgv44EC}%
+\uc@dclc{39191}{cjkbg5}{\u@cjk@Bgv44ED}%
+\uc@dclc{39192}{cjkbg5}{\u@cjk@Bgv18F5}%
+\uc@dclc{39192}{cjkjis}{\jischar{7131}}%
+\uc@dclc{39194}{cjkbg5}{\u@cjk@Bgv2024}%
+\uc@dclc{39195}{cjkbg5}{\u@cjk@Bgv2022}%
+\uc@dclc{39197}{cjkjis}{\jischar{7133}}%
+\uc@dclc{39198}{cjkbg5}{\u@cjk@Bgv2021}%
+\uc@dclc{39198}{cjkjis}{\jischar{7134}}%
+\uc@dclc{39199}{cjkbg5}{\u@cjk@Bgv471C}%
+\uc@dclc{39200}{cjkjis}{\jischar{7136}}%
+\uc@dclc{39201}{cjkbg5}{\u@cjk@Bgv2023}%
+\uc@dclc{39201}{cjkjis}{\jischar{7132}}%
+\uc@dclc{39204}{cjkbg5}{\u@cjk@Bgv471B}%
+\uc@dclc{39204}{cjkjis}{\jischar{7135}}%
+\uc@dclc{39205}{cjkbg5}{\u@cjk@Bgv48E1}%
+\uc@dclc{39207}{cjkbg5}{\u@cjk@Bgv471D}%
+\uc@dclc{39208}{cjkbg5}{\u@cjk@Bgv2020}%
+\uc@dclc{39208}{cjkjis}{\jischar{345B}}%
+\uc@dclc{39209}{cjkbg5}{\u@cjk@Bgv471E}%
+\uc@dclc{39210}{cjkbg5}{\u@cjk@Bgv48E4}%
+\uc@dclc{39211}{cjkbg5}{\u@cjk@Bgv48E2}%
+\uc@dclc{39212}{cjkbg5}{\u@cjk@Bgv48E3}%
+\uc@dclc{39212}{cjkjis}{\jischar{7137}}%
+\uc@dclc{39213}{cjkbg5}{\u@cjk@Bgv48E8}%
+\uc@dclc{39214}{cjkbg5}{\u@cjk@Bgv21E5}%
+\uc@dclc{39214}{cjkgb}{\u@cjk@GB32C4}%
+\uc@dclc{39214}{cjkjis}{\jischar{7138}}%
+\uc@dclc{39215}{cjkbg5}{\u@cjk@Bgv48E7}%
+\uc@dclc{39216}{cjkbg5}{\u@cjk@Bgv48EA}%
+\uc@dclc{39217}{cjkbg5}{\u@cjk@Bgv48E9}%
+\uc@dclc{39218}{cjkbg5}{\u@cjk@Bgv48E6}%
+\uc@dclc{39219}{cjkbg5}{\u@cjk@Bgv48E5}%
+\uc@dclc{39221}{cjkbg5}{\u@cjk@Bgv213B}%
+\uc@dclc{39226}{cjkbg5}{\u@cjk@Bgv505C}%
+\uc@dclc{39228}{cjkbg5}{\u@cjk@Bgv505B}%
+\uc@dclc{39229}{cjkbg5}{\u@cjk@Bgv21E4}%
+\uc@dclc{39229}{cjkjis}{\jischar{7139}}%
+\uc@dclc{39230}{cjkbg5}{\u@cjk@Bgv21E2}%
+\uc@dclc{39230}{cjkjis}{\jischar{713A}}%
+\uc@dclc{39231}{cjkbg5}{\u@cjk@Bgv21E3}%
+\uc@dclc{39233}{cjkbg5}{\u@cjk@Bgv505A}%
+\uc@dclc{39234}{cjkjis}{\jischar{713B}}%
+\uc@dclc{39235}{cjkbg5}{\u@cjk@Bgv5199}%
+\uc@dclc{39237}{cjkbg5}{\u@cjk@Bgv227A}%
+\uc@dclc{39237}{cjkjis}{\jischar{713D}}%
+\uc@dclc{39239}{cjkbg5}{\u@cjk@Bgv5198}%
+\uc@dclc{39240}{cjkbg5}{\u@cjk@Bgv5197}%
+\uc@dclc{39241}{cjkbg5}{\u@cjk@Bgv227B}%
+\uc@dclc{39241}{cjkjis}{\jischar{713C}}%
+\uc@dclc{39243}{cjkbg5}{\u@cjk@Bgv529C}%
+\uc@dclc{39243}{cjkjis}{\jischar{713F}}%
+\uc@dclc{39244}{cjkbg5}{\u@cjk@Bgv529B}%
+\uc@dclc{39244}{cjkjis}{\jischar{7142}}%
+\uc@dclc{39246}{cjkbg5}{\u@cjk@Bgv5299}%
+\uc@dclc{39248}{cjkbg5}{\u@cjk@Bgv5298}%
+\uc@dclc{39248}{cjkjis}{\jischar{713E}}%
+\uc@dclc{39249}{cjkbg5}{\u@cjk@Bgv22DD}%
+\uc@dclc{39249}{cjkjis}{\jischar{7140}}%
+\uc@dclc{39250}{cjkbg5}{\u@cjk@Bgv22DC}%
+\uc@dclc{39250}{cjkjis}{\jischar{7141}}%
+\uc@dclc{39251}{cjkbg5}{\u@cjk@Bgv529D}%
+\uc@dclc{39252}{cjkbg5}{\u@cjk@Bgv53F4}%
+\uc@dclc{39252}{cjkgb}{\u@cjk@GB32C6}%
+\uc@dclc{39253}{cjkbg5}{\u@cjk@Bgv236B}%
+\uc@dclc{39253}{cjkgb}{\u@cjk@GB32C5}%
+\uc@dclc{39253}{cjkjis}{\jischar{7143}}%
+\uc@dclc{39254}{cjkbg5}{\u@cjk@Bgv5358}%
+\uc@dclc{39255}{cjkbg5}{\u@cjk@Bgv232B}%
+\uc@dclc{39255}{cjkjis}{\jischar{3642}}%
+\uc@dclc{39256}{cjkbg5}{\u@cjk@Bgv5357}%
+\uc@dclc{39257}{cjkbg5}{\u@cjk@Bgv529A}%
+\uc@dclc{39259}{cjkbg5}{\u@cjk@Bgv53F5}%
+\uc@dclc{39260}{cjkbg5}{\u@cjk@Bgv2396}%
+\uc@dclc{39262}{cjkbg5}{\u@cjk@Bgv23D2}%
+\uc@dclc{39263}{cjkbg5}{\u@cjk@Bgv5511}%
+\uc@dclc{39265}{cjkbg5}{\u@cjk@Bgv5547}%
+\uc@dclc{39267}{cjkgb}{\u@cjk@GB24F8}%
+\uc@dclc{39269}{cjkgb}{\u@cjk@GB10EB}%
+\uc@dclc{39271}{cjkgb}{\u@cjk@GB24F9}%
+\uc@dclc{39272}{cjkgb}{\u@cjk@GB24FA}%
+\uc@dclc{39273}{cjkgb}{\u@cjk@GB24FB}%
+\uc@dclc{39274}{cjkgb}{\u@cjk@GB24FC}%
+\uc@dclc{39275}{cjkgb}{\u@cjk@GB24FD}%
+\uc@dclc{39276}{cjkgb}{\u@cjk@GB24FE}%
+\uc@dclc{39277}{cjkgb}{\u@cjk@GB092C}%
+\uc@dclc{39278}{cjkgb}{\u@cjk@GB1958}%
+\uc@dclc{39279}{cjkgb}{\u@cjk@GB114B}%
+\uc@dclc{39280}{cjkgb}{\u@cjk@GB163B}%
+\uc@dclc{39281}{cjkgb}{\u@cjk@GB06E4}%
+\uc@dclc{39282}{cjkgb}{\u@cjk@GB1692}%
+\uc@dclc{39284}{cjkgb}{\u@cjk@GB24FF}%
+\uc@dclc{39285}{cjkgb}{\u@cjk@GB0911}%
+\uc@dclc{39286}{cjkgb}{\u@cjk@GB1575}%
+\uc@dclc{39287}{cjkgb}{\u@cjk@GB2500}%
+\uc@dclc{39290}{cjkgb}{\u@cjk@GB116F}%
+\uc@dclc{39292}{cjkgb}{\u@cjk@GB073C}%
+\uc@dclc{39293}{cjkgb}{\u@cjk@GB2501}%
+\uc@dclc{39295}{cjkgb}{\u@cjk@GB090B}%
+\uc@dclc{39296}{cjkgb}{\u@cjk@GB2502}%
+\uc@dclc{39297}{cjkgb}{\u@cjk@GB1412}%
+\uc@dclc{39300}{cjkgb}{\u@cjk@GB2503}%
+\uc@dclc{39301}{cjkgb}{\u@cjk@GB181D}%
+\uc@dclc{39302}{cjkgb}{\u@cjk@GB100C}%
+\uc@dclc{39303}{cjkgb}{\u@cjk@GB2504}%
+\uc@dclc{39304}{cjkgb}{\u@cjk@GB1262}%
+\uc@dclc{39306}{cjkgb}{\u@cjk@GB2505}%
+\uc@dclc{39307}{cjkgb}{\u@cjk@GB0793}%
+\uc@dclc{39309}{cjkgb}{\u@cjk@GB2506}%
+\uc@dclc{39311}{cjkgb}{\u@cjk@GB1312}%
+\uc@dclc{39312}{cjkgb}{\u@cjk@GB2507}%
+\uc@dclc{39313}{cjkgb}{\u@cjk@GB2508}%
+\uc@dclc{39314}{cjkgb}{\u@cjk@GB1375}%
+\uc@dclc{39315}{cjkgb}{\u@cjk@GB2509}%
+\uc@dclc{39316}{cjkgb}{\u@cjk@GB250A}%
+\uc@dclc{39317}{cjkgb}{\u@cjk@GB250B}%
+\uc@dclc{39318}{cjkbg5}{\u@cjk@Bgv08B4}%
+\uc@dclc{39318}{cjkgb}{\u@cjk@GB1644}%
+\uc@dclc{39318}{cjkjis}{\jischar{3C73}}%
+\uc@dclc{39319}{cjkbg5}{\u@cjk@Bgv34CB}%
+\uc@dclc{39319}{cjkgb}{\u@cjk@GB2149}%
+\uc@dclc{39319}{cjkjis}{\jischar{7144}}%
+\uc@dclc{39320}{cjkbg5}{\u@cjk@Bgv48EB}%
+\uc@dclc{39320}{cjkgb}{\u@cjk@GB21D4}%
+\uc@dclc{39320}{cjkjis}{\jischar{7145}}%
+\uc@dclc{39321}{cjkbg5}{\u@cjk@Bgv08B5}%
+\uc@dclc{39321}{cjkgb}{\u@cjk@GB1826}%
+\uc@dclc{39321}{cjkjis}{\jischar{3961}}%
+\uc@dclc{39324}{cjkbg5}{\u@cjk@Bgv4287}%
+\uc@dclc{39325}{cjkbg5}{\u@cjk@Bgv4286}%
+\uc@dclc{39326}{cjkbg5}{\u@cjk@Bgv471F}%
+\uc@dclc{39329}{cjkbg5}{\u@cjk@Bgv48ED}%
+\uc@dclc{39331}{cjkbg5}{\u@cjk@Bgv48EC}%
+\uc@dclc{39333}{cjkbg5}{\u@cjk@Bgv21E6}%
+\uc@dclc{39333}{cjkgb}{\u@cjk@GB3006}%
+\uc@dclc{39333}{cjkjis}{\jischar{7146}}%
+\uc@dclc{39334}{cjkbg5}{\u@cjk@Bgv519A}%
+\uc@dclc{39335}{cjkbg5}{\u@cjk@Bgv519B}%
+\uc@dclc{39336}{cjkbg5}{\u@cjk@Bgv22DE}%
+\uc@dclc{39336}{cjkgb}{\u@cjk@GB22B9}%
+\uc@dclc{39336}{cjkjis}{\jischar{333E}}%
+\uc@dclc{39339}{cjkbg5}{\u@cjk@Bgv5548}%
+\uc@dclc{39340}{cjkbg5}{\u@cjk@Bgv1079}%
+\uc@dclc{39340}{cjkjis}{\jischar{474F}}%
+\uc@dclc{39341}{cjkbg5}{\u@cjk@Bgv143E}%
+\uc@dclc{39341}{cjkjis}{\jischar{7147}}%
+\uc@dclc{39342}{cjkbg5}{\u@cjk@Bgv143D}%
+\uc@dclc{39342}{cjkjis}{\jischar{7148}}%
+\uc@dclc{39343}{cjkbg5}{\u@cjk@Bgv4025}%
+\uc@dclc{39344}{cjkbg5}{\u@cjk@Bgv4027}%
+\uc@dclc{39345}{cjkbg5}{\u@cjk@Bgv15FA}%
+\uc@dclc{39346}{cjkbg5}{\u@cjk@Bgv4026}%
+\uc@dclc{39347}{cjkbg5}{\u@cjk@Bgv15F9}%
+\uc@dclc{39347}{cjkjis}{\jischar{435A}}%
+\uc@dclc{39348}{cjkbg5}{\u@cjk@Bgv15FB}%
+\uc@dclc{39348}{cjkjis}{\jischar{466B}}%
+\uc@dclc{39349}{cjkbg5}{\u@cjk@Bgv4028}%
+\uc@dclc{39353}{cjkbg5}{\u@cjk@Bgv4289}%
+\uc@dclc{39354}{cjkbg5}{\u@cjk@Bgv428B}%
+\uc@dclc{39355}{cjkbg5}{\u@cjk@Bgv428A}%
+\uc@dclc{39356}{cjkjis}{\jischar{7149}}%
+\uc@dclc{39357}{cjkbg5}{\u@cjk@Bgv428D}%
+\uc@dclc{39361}{cjkbg5}{\u@cjk@Bgv1779}%
+\uc@dclc{39361}{cjkjis}{\jischar{477D}}%
+\uc@dclc{39362}{cjkbg5}{\u@cjk@Bgv428C}%
+\uc@dclc{39363}{cjkbg5}{\u@cjk@Bgv4288}%
+\uc@dclc{39364}{cjkjis}{\jischar{424C}}%
+\uc@dclc{39365}{cjkjis}{\jischar{3158}}%
+\uc@dclc{39366}{cjkjis}{\jischar{366E}}%
+\uc@dclc{39367}{cjkbg5}{\u@cjk@Bgv428E}%
+\uc@dclc{39368}{cjkjis}{\jischar{366F}}%
+\uc@dclc{39369}{cjkbg5}{\u@cjk@Bgv44F5}%
+\uc@dclc{39371}{cjkbg5}{\u@cjk@Bgv44F8}%
+\uc@dclc{39372}{cjkbg5}{\u@cjk@Bgv44FA}%
+\uc@dclc{39373}{cjkbg5}{\u@cjk@Bgv44F0}%
+\uc@dclc{39374}{cjkbg5}{\u@cjk@Bgv44F4}%
+\uc@dclc{39375}{cjkbg5}{\u@cjk@Bgv44F1}%
+\uc@dclc{39376}{cjkbg5}{\u@cjk@Bgv18F7}%
+\uc@dclc{39376}{cjkjis}{\jischar{4373}}%
+\uc@dclc{39377}{cjkbg5}{\u@cjk@Bgv18FA}%
+\uc@dclc{39377}{cjkjis}{\jischar{714E}}%
+\uc@dclc{39378}{cjkbg5}{\u@cjk@Bgv18FC}%
+\uc@dclc{39378}{cjkjis}{\jischar{3670}}%
+\uc@dclc{39379}{cjkbg5}{\u@cjk@Bgv44F2}%
+\uc@dclc{39380}{cjkbg5}{\u@cjk@Bgv44F3}%
+\uc@dclc{39381}{cjkbg5}{\u@cjk@Bgv18FB}%
+\uc@dclc{39381}{cjkjis}{\jischar{326F}}%
+\uc@dclc{39382}{cjkbg5}{\u@cjk@Bgv44F6}%
+\uc@dclc{39383}{cjkbg5}{\u@cjk@Bgv44F9}%
+\uc@dclc{39384}{cjkbg5}{\u@cjk@Bgv44F7}%
+\uc@dclc{39384}{cjkjis}{\jischar{714D}}%
+\uc@dclc{39385}{cjkbg5}{\u@cjk@Bgv18FD}%
+\uc@dclc{39387}{cjkbg5}{\u@cjk@Bgv18F9}%
+\uc@dclc{39387}{cjkjis}{\jischar{714B}}%
+\uc@dclc{39388}{cjkbg5}{\u@cjk@Bgv44EF}%
+\uc@dclc{39389}{cjkbg5}{\u@cjk@Bgv18F6}%
+\uc@dclc{39389}{cjkjis}{\jischar{714C}}%
+\uc@dclc{39391}{cjkbg5}{\u@cjk@Bgv18F8}%
+\uc@dclc{39391}{cjkjis}{\jischar{714A}}%
+\uc@dclc{39394}{cjkbg5}{\u@cjk@Bgv2026}%
+\uc@dclc{39394}{cjkjis}{\jischar{7158}}%
+\uc@dclc{39395}{cjkbg5}{\u@cjk@Bgv4725}%
+\uc@dclc{39396}{cjkbg5}{\u@cjk@Bgv4723}%
+\uc@dclc{39397}{cjkbg5}{\u@cjk@Bgv4722}%
+\uc@dclc{39399}{cjkbg5}{\u@cjk@Bgv4728}%
+\uc@dclc{39401}{cjkbg5}{\u@cjk@Bgv4727}%
+\uc@dclc{39402}{cjkbg5}{\u@cjk@Bgv4726}%
+\uc@dclc{39404}{cjkbg5}{\u@cjk@Bgv4721}%
+\uc@dclc{39405}{cjkbg5}{\u@cjk@Bgv2025}%
+\uc@dclc{39405}{cjkjis}{\jischar{714F}}%
+\uc@dclc{39406}{cjkbg5}{\u@cjk@Bgv4720}%
+\uc@dclc{39406}{cjkjis}{\jischar{7150}}%
+\uc@dclc{39408}{cjkbg5}{\u@cjk@Bgv4724}%
+\uc@dclc{39409}{cjkbg5}{\u@cjk@Bgv2027}%
+\uc@dclc{39409}{cjkjis}{\jischar{7151}}%
+\uc@dclc{39410}{cjkjis}{\jischar{7152}}%
+\uc@dclc{39412}{cjkbg5}{\u@cjk@Bgv48F0}%
+\uc@dclc{39414}{cjkbg5}{\u@cjk@Bgv48F4}%
+\uc@dclc{39415}{cjkbg5}{\u@cjk@Bgv48F1}%
+\uc@dclc{39416}{cjkbg5}{\u@cjk@Bgv48F3}%
+\uc@dclc{39416}{cjkjis}{\jischar{7154}}%
+\uc@dclc{39417}{cjkbg5}{\u@cjk@Bgv48F2}%
+\uc@dclc{39418}{cjkbg5}{\u@cjk@Bgv48EF}%
+\uc@dclc{39419}{cjkbg5}{\u@cjk@Bgv48F5}%
+\uc@dclc{39419}{cjkjis}{\jischar{7153}}%
+\uc@dclc{39420}{cjkbg5}{\u@cjk@Bgv48F8}%
+\uc@dclc{39421}{cjkbg5}{\u@cjk@Bgv48F6}%
+\uc@dclc{39422}{cjkbg5}{\u@cjk@Bgv48F7}%
+\uc@dclc{39423}{cjkbg5}{\u@cjk@Bgv213D}%
+\uc@dclc{39423}{cjkjis}{\jischar{3D59}}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: