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

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

diff --git a/share/texmf/unicode/data/uni-148.def b/share/texmf/unicode/data/uni-148.def
new file mode 100644 (file)
index 0000000..45e12ae
--- /dev/null
+++ b/share/texmf/unicode/data/uni-148.def
@@ -0,0 +1,245 @@
+%%% Unicode to TeX mapping, file uni-148.def, U+9400..U+94FF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-148.def}[2006/06/08 UCS: Unicode data U+9400..U+94FF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{37888}{cjkbg5}{\u@cjk@Bgv5279}%
+\uc@dclc{37891}{cjkbg5}{\u@cjk@Bgv22D7}%
+\uc@dclc{37891}{cjkjis}{\jischar{6F3F}}%
+\uc@dclc{37894}{cjkbg5}{\u@cjk@Bgv5288}%
+\uc@dclc{37895}{cjkbg5}{\u@cjk@Bgv527B}%
+\uc@dclc{37895}{cjkjis}{\jischar{6F40}}%
+\uc@dclc{37897}{cjkbg5}{\u@cjk@Bgv5280}%
+\uc@dclc{37898}{cjkbg5}{\u@cjk@Bgv5282}%
+\uc@dclc{37899}{cjkbg5}{\u@cjk@Bgv526C}%
+\uc@dclc{37900}{cjkbg5}{\u@cjk@Bgv5285}%
+\uc@dclc{37901}{cjkbg5}{\u@cjk@Bgv5277}%
+\uc@dclc{37902}{cjkbg5}{\u@cjk@Bgv527C}%
+\uc@dclc{37903}{cjkbg5}{\u@cjk@Bgv5270}%
+\uc@dclc{37904}{cjkbg5}{\u@cjk@Bgv5274}%
+\uc@dclc{37904}{cjkjis}{\jischar{6F41}}%
+\uc@dclc{37905}{cjkbg5}{\u@cjk@Bgv5287}%
+\uc@dclc{37906}{cjkbg5}{\u@cjk@Bgv527E}%
+\uc@dclc{37907}{cjkbg5}{\u@cjk@Bgv526D}%
+\uc@dclc{37907}{cjkjis}{\jischar{6F3E}}%
+\uc@dclc{37908}{cjkbg5}{\u@cjk@Bgv5271}%
+\uc@dclc{37908}{cjkjis}{\jischar{6F3D}}%
+\uc@dclc{37909}{cjkbg5}{\u@cjk@Bgv5273}%
+\uc@dclc{37910}{cjkbg5}{\u@cjk@Bgv527D}%
+\uc@dclc{37912}{cjkbg5}{\u@cjk@Bgv22D6}%
+\uc@dclc{37912}{cjkjis}{\jischar{3E62}}%
+\uc@dclc{37913}{cjkbg5}{\u@cjk@Bgv5276}%
+\uc@dclc{37913}{cjkjis}{\jischar{462A}}%
+\uc@dclc{37914}{cjkjis}{\jischar{6F3C}}%
+\uc@dclc{37920}{cjkbg5}{\u@cjk@Bgv526F}%
+\uc@dclc{37921}{cjkjis}{\jischar{6F45}}%
+\uc@dclc{37928}{cjkbg5}{\u@cjk@Bgv5275}%
+\uc@dclc{37929}{cjkbg5}{\u@cjk@Bgv5342}%
+\uc@dclc{37930}{cjkbg5}{\u@cjk@Bgv5347}%
+\uc@dclc{37931}{cjkbg5}{\u@cjk@Bgv2323}%
+\uc@dclc{37931}{cjkjis}{\jischar{6F43}}%
+\uc@dclc{37932}{cjkbg5}{\u@cjk@Bgv5349}%
+\uc@dclc{37934}{cjkbg5}{\u@cjk@Bgv231D}%
+\uc@dclc{37936}{cjkbg5}{\u@cjk@Bgv5345}%
+\uc@dclc{37937}{cjkbg5}{\u@cjk@Bgv534B}%
+\uc@dclc{37938}{cjkbg5}{\u@cjk@Bgv2322}%
+\uc@dclc{37939}{cjkbg5}{\u@cjk@Bgv231E}%
+\uc@dclc{37941}{cjkbg5}{\u@cjk@Bgv231F}%
+\uc@dclc{37941}{cjkjis}{\jischar{6F44}}%
+\uc@dclc{37942}{cjkbg5}{\u@cjk@Bgv5341}%
+\uc@dclc{37942}{cjkjis}{\jischar{6F42}}%
+\uc@dclc{37943}{cjkbg5}{\u@cjk@Bgv5348}%
+\uc@dclc{37944}{cjkbg5}{\u@cjk@Bgv2321}%
+\uc@dclc{37944}{cjkjis}{\jischar{4278}}%
+\uc@dclc{37945}{cjkbg5}{\u@cjk@Bgv5346}%
+\uc@dclc{37946}{cjkbg5}{\u@cjk@Bgv2320}%
+\uc@dclc{37946}{cjkjis}{\jischar{6F46}}%
+\uc@dclc{37947}{cjkbg5}{\u@cjk@Bgv5340}%
+\uc@dclc{37948}{cjkbg5}{\u@cjk@Bgv5344}%
+\uc@dclc{37949}{cjkbg5}{\u@cjk@Bgv5343}%
+\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{37950}{cjkgb}{\u@cjk@GB3262}%
+\uc@dclc{37951}{cjkbg5}{\u@cjk@Bgv533F}%
+\uc@dclc{37952}{cjkbg5}{\u@cjk@Bgv534A}%
+\uc@dclc{37953}{cjkjis}{\jischar{6F47}}%
+\uc@dclc{37956}{cjkbg5}{\u@cjk@Bgv2363}%
+\uc@dclc{37956}{cjkjis}{\jischar{6F49}}%
+\uc@dclc{37957}{cjkbg5}{\u@cjk@Bgv53EB}%
+\uc@dclc{37958}{cjkbg5}{\u@cjk@Bgv53EE}%
+\uc@dclc{37959}{cjkbg5}{\u@cjk@Bgv53EA}%
+\uc@dclc{37960}{cjkbg5}{\u@cjk@Bgv53EC}%
+\uc@dclc{37961}{cjkbg5}{\u@cjk@Bgv53ED}%
+\uc@dclc{37962}{cjkbg5}{\u@cjk@Bgv53E7}%
+\uc@dclc{37963}{cjkbg5}{\u@cjk@Bgv53E8}%
+\uc@dclc{37964}{cjkbg5}{\u@cjk@Bgv53E5}%
+\uc@dclc{37967}{cjkbg5}{\u@cjk@Bgv53E9}%
+\uc@dclc{37968}{cjkbg5}{\u@cjk@Bgv53E6}%
+\uc@dclc{37969}{cjkbg5}{\u@cjk@Bgv2364}%
+\uc@dclc{37969}{cjkjis}{\jischar{3455}}%
+\uc@dclc{37970}{cjkbg5}{\u@cjk@Bgv2365}%
+\uc@dclc{37970}{cjkjis}{\jischar{6F48}}%
+\uc@dclc{37971}{cjkjis}{\jischar{4C7A}}%
+\uc@dclc{37973}{cjkbg5}{\u@cjk@Bgv5466}%
+\uc@dclc{37975}{cjkbg5}{\u@cjk@Bgv5468}%
+\uc@dclc{37978}{cjkjis}{\jischar{6F54}}%
+\uc@dclc{37979}{cjkjis}{\jischar{6F4A}}%
+\uc@dclc{37981}{cjkbg5}{\u@cjk@Bgv5467}%
+\uc@dclc{37982}{cjkbg5}{\u@cjk@Bgv5469}%
+\uc@dclc{37982}{cjkjis}{\jischar{6F4D}}%
+\uc@dclc{37984}{cjkbg5}{\u@cjk@Bgv2392}%
+\uc@dclc{37984}{cjkjis}{\jischar{6F4B}}%
+\uc@dclc{37986}{cjkbg5}{\u@cjk@Bgv5465}%
+\uc@dclc{37986}{cjkjis}{\jischar{6F4C}}%
+\uc@dclc{37987}{cjkbg5}{\u@cjk@Bgv2391}%
+\uc@dclc{37988}{cjkbg5}{\u@cjk@Bgv2393}%
+\uc@dclc{37992}{cjkbg5}{\u@cjk@Bgv54C4}%
+\uc@dclc{37993}{cjkbg5}{\u@cjk@Bgv54C5}%
+\uc@dclc{37994}{cjkbg5}{\u@cjk@Bgv23B5}%
+\uc@dclc{37994}{cjkjis}{\jischar{6F4E}}%
+\uc@dclc{37995}{cjkbg5}{\u@cjk@Bgv54C3}%
+\uc@dclc{37995}{cjkgb}{\u@cjk@GB3263}%
+\uc@dclc{37997}{cjkbg5}{\u@cjk@Bgv550B}%
+\uc@dclc{37998}{cjkbg5}{\u@cjk@Bgv550A}%
+\uc@dclc{37999}{cjkbg5}{\u@cjk@Bgv550C}%
+\uc@dclc{38000}{cjkbg5}{\u@cjk@Bgv23D0}%
+\uc@dclc{38000}{cjkjis}{\jischar{6F50}}%
+\uc@dclc{38001}{cjkbg5}{\u@cjk@Bgv550D}%
+\uc@dclc{38002}{cjkbg5}{\u@cjk@Bgv23CF}%
+\uc@dclc{38003}{cjkbg5}{\u@cjk@Bgv550E}%
+\uc@dclc{38004}{cjkbg5}{\u@cjk@Bgv552A}%
+\uc@dclc{38005}{cjkbg5}{\u@cjk@Bgv552D}%
+\uc@dclc{38005}{cjkjis}{\jischar{6F51}}%
+\uc@dclc{38006}{cjkbg5}{\u@cjk@Bgv552C}%
+\uc@dclc{38007}{cjkbg5}{\u@cjk@Bgv23D9}%
+\uc@dclc{38007}{cjkjis}{\jischar{6F52}}%
+\uc@dclc{38008}{cjkbg5}{\u@cjk@Bgv552B}%
+\uc@dclc{38012}{cjkbg5}{\u@cjk@Bgv23E3}%
+\uc@dclc{38012}{cjkjis}{\jischar{6F55}}%
+\uc@dclc{38013}{cjkbg5}{\u@cjk@Bgv23E1}%
+\uc@dclc{38013}{cjkjis}{\jischar{6F53}}%
+\uc@dclc{38014}{cjkbg5}{\u@cjk@Bgv23E2}%
+\uc@dclc{38014}{cjkjis}{\jischar{6F56}}%
+\uc@dclc{38015}{cjkbg5}{\u@cjk@Bgv23E8}%
+\uc@dclc{38015}{cjkjis}{\jischar{6F58}}%
+\uc@dclc{38016}{cjkbg5}{\u@cjk@Bgv5556}%
+\uc@dclc{38017}{cjkbg5}{\u@cjk@Bgv5557}%
+\uc@dclc{38017}{cjkjis}{\jischar{6F57}}%
+\uc@dclc{38018}{cjkbg5}{\u@cjk@Bgv5555}%
+\uc@dclc{38019}{cjkbg5}{\u@cjk@Bgv555F}%
+\uc@dclc{38021}{cjkgb}{\u@cjk@GB2969}%
+\uc@dclc{38022}{cjkgb}{\u@cjk@GB296A}%
+\uc@dclc{38023}{cjkgb}{\u@cjk@GB296B}%
+\uc@dclc{38024}{cjkgb}{\u@cjk@GB2062}%
+\uc@dclc{38025}{cjkgb}{\u@cjk@GB08B9}%
+\uc@dclc{38026}{cjkgb}{\u@cjk@GB296D}%
+\uc@dclc{38027}{cjkgb}{\u@cjk@GB296C}%
+\uc@dclc{38028}{cjkgb}{\u@cjk@GB296E}%
+\uc@dclc{38029}{cjkgb}{\u@cjk@GB296F}%
+\uc@dclc{38030}{cjkgb}{\u@cjk@GB14F8}%
+\uc@dclc{38031}{cjkgb}{\u@cjk@GB2970}%
+\uc@dclc{38032}{cjkgb}{\u@cjk@GB2971}%
+\uc@dclc{38034}{cjkgb}{\u@cjk@GB0923}%
+\uc@dclc{38035}{cjkgb}{\u@cjk@GB08AD}%
+\uc@dclc{38036}{cjkgb}{\u@cjk@GB2972}%
+\uc@dclc{38037}{cjkgb}{\u@cjk@GB2974}%
+\uc@dclc{38039}{cjkgb}{\u@cjk@GB2973}%
+\uc@dclc{38041}{cjkgb}{\u@cjk@GB0997}%
+\uc@dclc{38042}{cjkgb}{\u@cjk@GB2975}%
+\uc@dclc{38043}{cjkgb}{\u@cjk@GB2976}%
+\uc@dclc{38044}{cjkgb}{\u@cjk@GB2977}%
+\uc@dclc{38045}{cjkgb}{\u@cjk@GB08F0}%
+\uc@dclc{38046}{cjkgb}{\u@cjk@GB07A9}%
+\uc@dclc{38047}{cjkgb}{\u@cjk@GB20A8}%
+\uc@dclc{38048}{cjkgb}{\u@cjk@GB13FF}%
+\uc@dclc{38049}{cjkgb}{\u@cjk@GB06F4}%
+\uc@dclc{38050}{cjkgb}{\u@cjk@GB09A7}%
+\uc@dclc{38051}{cjkgb}{\u@cjk@GB2978}%
+\uc@dclc{38052}{cjkgb}{\u@cjk@GB2979}%
+\uc@dclc{38053}{cjkgb}{\u@cjk@GB19D8}%
+\uc@dclc{38054}{cjkgb}{\u@cjk@GB1528}%
+\uc@dclc{38055}{cjkgb}{\u@cjk@GB1200}%
+\uc@dclc{38056}{cjkgb}{\u@cjk@GB17BE}%
+\uc@dclc{38057}{cjkgb}{\u@cjk@GB09E2}%
+\uc@dclc{38058}{cjkgb}{\u@cjk@GB297B}%
+\uc@dclc{38059}{cjkgb}{\u@cjk@GB297A}%
+\uc@dclc{38060}{cjkgb}{\u@cjk@GB297D}%
+\uc@dclc{38061}{cjkgb}{\u@cjk@GB297C}%
+\uc@dclc{38062}{cjkgb}{\u@cjk@GB143C}%
+\uc@dclc{38063}{cjkgb}{\u@cjk@GB297E}%
+\uc@dclc{38064}{cjkgb}{\u@cjk@GB297F}%
+\uc@dclc{38065}{cjkgb}{\u@cjk@GB1501}%
+\uc@dclc{38066}{cjkgb}{\u@cjk@GB2980}%
+\uc@dclc{38067}{cjkgb}{\u@cjk@GB1502}%
+\uc@dclc{38068}{cjkgb}{\u@cjk@GB2981}%
+\uc@dclc{38069}{cjkgb}{\u@cjk@GB0744}%
+\uc@dclc{38070}{cjkgb}{\u@cjk@GB2982}%
+\uc@dclc{38071}{cjkgb}{\u@cjk@GB2983}%
+\uc@dclc{38072}{cjkgb}{\u@cjk@GB2984}%
+\uc@dclc{38073}{cjkgb}{\u@cjk@GB2985}%
+\uc@dclc{38074}{cjkgb}{\u@cjk@GB2986}%
+\uc@dclc{38075}{cjkgb}{\u@cjk@GB211D}%
+\uc@dclc{38076}{cjkgb}{\u@cjk@GB2987}%
+\uc@dclc{38077}{cjkgb}{\u@cjk@GB2988}%
+\uc@dclc{38078}{cjkgb}{\u@cjk@GB1121}%
+\uc@dclc{38079}{cjkgb}{\u@cjk@GB2989}%
+\uc@dclc{38080}{cjkgb}{\u@cjk@GB1986}%
+\uc@dclc{38081}{cjkgb}{\u@cjk@GB1723}%
+\uc@dclc{38082}{cjkgb}{\u@cjk@GB0749}%
+\uc@dclc{38083}{cjkgb}{\u@cjk@GB1304}%
+\uc@dclc{38084}{cjkgb}{\u@cjk@GB298A}%
+\uc@dclc{38085}{cjkgb}{\u@cjk@GB14F9}%
+\uc@dclc{38086}{cjkgb}{\u@cjk@GB1388}%
+\uc@dclc{38088}{cjkgb}{\u@cjk@GB298B}%
+\uc@dclc{38089}{cjkgb}{\u@cjk@GB298C}%
+\uc@dclc{38090}{cjkgb}{\u@cjk@GB298D}%
+\uc@dclc{38091}{cjkgb}{\u@cjk@GB298E}%
+\uc@dclc{38092}{cjkgb}{\u@cjk@GB298F}%
+\uc@dclc{38093}{cjkgb}{\u@cjk@GB2990}%
+\uc@dclc{38094}{cjkgb}{\u@cjk@GB2991}%
+\uc@dclc{38096}{cjkgb}{\u@cjk@GB2992}%
+\uc@dclc{38097}{cjkgb}{\u@cjk@GB2993}%
+\uc@dclc{38098}{cjkgb}{\u@cjk@GB2994}%
+\uc@dclc{38101}{cjkgb}{\u@cjk@GB2995}%
+\uc@dclc{38102}{cjkgb}{\u@cjk@GB2996}%
+\uc@dclc{38103}{cjkgb}{\u@cjk@GB2997}%
+\uc@dclc{38104}{cjkgb}{\u@cjk@GB2999}%
+\uc@dclc{38105}{cjkgb}{\u@cjk@GB2998}%
+\uc@dclc{38107}{cjkgb}{\u@cjk@GB299A}%
+\uc@dclc{38108}{cjkgb}{\u@cjk@GB1734}%
+\uc@dclc{38109}{cjkgb}{\u@cjk@GB133E}%
+\uc@dclc{38110}{cjkgb}{\u@cjk@GB299B}%
+\uc@dclc{38111}{cjkgb}{\u@cjk@GB299C}%
+\uc@dclc{38112}{cjkgb}{\u@cjk@GB299D}%
+\uc@dclc{38113}{cjkgb}{\u@cjk@GB2018}%
+\uc@dclc{38114}{cjkgb}{\u@cjk@GB299E}%
+\uc@dclc{38115}{cjkgb}{\u@cjk@GB17F6}%
+\uc@dclc{38116}{cjkgb}{\u@cjk@GB299F}%
+\uc@dclc{38117}{cjkgb}{\u@cjk@GB29A0}%
+\uc@dclc{38119}{cjkgb}{\u@cjk@GB29A1}%
+\uc@dclc{38120}{cjkgb}{\u@cjk@GB29A2}%
+\uc@dclc{38121}{cjkgb}{\u@cjk@GB29A4}%
+\uc@dclc{38122}{cjkgb}{\u@cjk@GB29A3}%
+\uc@dclc{38123}{cjkgb}{\u@cjk@GB29A5}%
+\uc@dclc{38124}{cjkgb}{\u@cjk@GB09C6}%
+\uc@dclc{38125}{cjkgb}{\u@cjk@GB13D5}%
+\uc@dclc{38126}{cjkgb}{\u@cjk@GB29A6}%
+\uc@dclc{38127}{cjkgb}{\u@cjk@GB29A7}%
+\uc@dclc{38128}{cjkgb}{\u@cjk@GB1169}%
+\uc@dclc{38129}{cjkgb}{\u@cjk@GB191C}%
+\uc@dclc{38130}{cjkgb}{\u@cjk@GB0796}%
+\uc@dclc{38131}{cjkgb}{\u@cjk@GB29A8}%
+\uc@dclc{38132}{cjkgb}{\u@cjk@GB29A9}%
+\uc@dclc{38133}{cjkgb}{\u@cjk@GB29AA}%
+\uc@dclc{38134}{cjkgb}{\u@cjk@GB1955}%
+\uc@dclc{38135}{cjkgb}{\u@cjk@GB29AB}%
+\uc@dclc{38136}{cjkgb}{\u@cjk@GB20D2}%
+\uc@dclc{38137}{cjkgb}{\u@cjk@GB29AC}%
+\uc@dclc{38138}{cjkgb}{\u@cjk@GB14C1}%
+\uc@dclc{38140}{cjkgb}{\u@cjk@GB29AD}%
+\uc@dclc{38141}{cjkgb}{\u@cjk@GB29AE}%
+\uc@dclc{38142}{cjkgb}{\u@cjk@GB12D3}%
+\uc@dclc{38143}{cjkgb}{\u@cjk@GB29AF}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: