]> matita.cs.unibo.it Git - helm.git/blobdiff - share/texmf/unicode/data/uni-90.def
the Matita manual is now convertible to a decent .tex that is processable both
[helm.git] / share / texmf / unicode / data / uni-90.def
diff --git a/share/texmf/unicode/data/uni-90.def b/share/texmf/unicode/data/uni-90.def
new file mode 100644 (file)
index 0000000..8c34cb5
--- /dev/null
@@ -0,0 +1,283 @@
+%%% Unicode to TeX mapping, file uni-90.def, U+5A00..U+5AFF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-90.def}[2006/06/08 UCS: Unicode data U+5A00..U+5AFF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{23040}{cjkbg5}{\u@cjk@Bgv28BE}%
+\uc@dclc{23041}{cjkbg5}{\u@cjk@Bgv0782}%
+\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{23041}{cjkgb}{\u@cjk@GB1785}%
+\uc@dclc{23041}{cjkjis}{\jischar{3052}}%
+\uc@dclc{23043}{cjkbg5}{\u@cjk@Bgv077D}%
+\uc@dclc{23043}{cjkgb}{\u@cjk@GB1765}%
+\uc@dclc{23043}{cjkjis}{\jischar{3023}}%
+\uc@dclc{23044}{cjkgb}{\u@cjk@GB1323}%
+\uc@dclc{23045}{cjkgb}{\u@cjk@GB2660}%
+\uc@dclc{23046}{cjkgb}{\u@cjk@GB2661}%
+\uc@dclc{23047}{cjkgb}{\u@cjk@GB1166}%
+\uc@dclc{23048}{cjkgb}{\u@cjk@GB2663}%
+\uc@dclc{23049}{cjkbg5}{\u@cjk@Bgv0915}%
+\uc@dclc{23049}{cjkgb}{\u@cjk@GB2668}%
+\uc@dclc{23049}{cjkjis}{\jischar{5532}}%
+\uc@dclc{23050}{cjkbg5}{\u@cjk@Bgv3092}%
+\uc@dclc{23052}{cjkbg5}{\u@cjk@Bgv0914}%
+\uc@dclc{23052}{cjkgb}{\u@cjk@GB2667}%
+\uc@dclc{23055}{cjkbg5}{\u@cjk@Bgv3090}%
+\uc@dclc{23057}{cjkbg5}{\u@cjk@Bgv0909}%
+\uc@dclc{23057}{cjkgb}{\u@cjk@GB266B}%
+\uc@dclc{23057}{cjkjis}{\jischar{5530}}%
+\uc@dclc{23059}{cjkbg5}{\u@cjk@Bgv090E}%
+\uc@dclc{23059}{cjkgb}{\u@cjk@GB266D}%
+\uc@dclc{23061}{cjkbg5}{\u@cjk@Bgv308F}%
+\uc@dclc{23062}{cjkbg5}{\u@cjk@Bgv308C}%
+\uc@dclc{23063}{cjkbg5}{\u@cjk@Bgv3091}%
+\uc@dclc{23064}{cjkbg5}{\u@cjk@Bgv090A}%
+\uc@dclc{23064}{cjkgb}{\u@cjk@GB1428}%
+\uc@dclc{23064}{cjkjis}{\jischar{4C3C}}%
+\uc@dclc{23065}{cjkbg5}{\u@cjk@Bgv308B}%
+\uc@dclc{23066}{cjkjis}{\jischar{5533}}%
+\uc@dclc{23067}{cjkbg5}{\u@cjk@Bgv090D}%
+\uc@dclc{23068}{cjkbg5}{\u@cjk@Bgv090B}%
+\uc@dclc{23068}{cjkgb}{\u@cjk@GB1401}%
+\uc@dclc{23068}{cjkjis}{\jischar{5531}}%
+\uc@dclc{23070}{cjkbg5}{\u@cjk@Bgv3093}%
+\uc@dclc{23071}{cjkbg5}{\u@cjk@Bgv090C}%
+\uc@dclc{23071}{cjkgb}{\u@cjk@GB11EF}%
+\uc@dclc{23071}{cjkjis}{\jischar{552F}}%
+\uc@dclc{23072}{cjkbg5}{\u@cjk@Bgv0910}%
+\uc@dclc{23072}{cjkgb}{\u@cjk@GB15FE}%
+\uc@dclc{23072}{cjkjis}{\jischar{3F31}}%
+\uc@dclc{23075}{cjkbg5}{\u@cjk@Bgv0911}%
+\uc@dclc{23075}{cjkgb}{\u@cjk@GB266C}%
+\uc@dclc{23077}{cjkbg5}{\u@cjk@Bgv0913}%
+\uc@dclc{23077}{cjkgb}{\u@cjk@GB0905}%
+\uc@dclc{23077}{cjkjis}{\jischar{552E}}%
+\uc@dclc{23081}{cjkbg5}{\u@cjk@Bgv0912}%
+\uc@dclc{23081}{cjkgb}{\u@cjk@GB13BF}%
+\uc@dclc{23081}{cjkjis}{\jischar{4A5A}}%
+\uc@dclc{23085}{cjkbg5}{\u@cjk@Bgv308D}%
+\uc@dclc{23086}{cjkbg5}{\u@cjk@Bgv308E}%
+\uc@dclc{23087}{cjkjis}{\jischar{3864}}%
+\uc@dclc{23089}{cjkgb}{\u@cjk@GB19A4}%
+\uc@dclc{23090}{cjkgb}{\u@cjk@GB2669}%
+\uc@dclc{23091}{cjkbg5}{\u@cjk@Bgv3094}%
+\uc@dclc{23092}{cjkgb}{\u@cjk@GB266A}%
+\uc@dclc{23093}{cjkbg5}{\u@cjk@Bgv32B9}%
+\uc@dclc{23093}{cjkjis}{\jischar{5537}}%
+\uc@dclc{23094}{cjkbg5}{\u@cjk@Bgv10CA}%
+\uc@dclc{23094}{cjkgb}{\u@cjk@GB1553}%
+\uc@dclc{23094}{cjkjis}{\jischar{5538}}%
+\uc@dclc{23095}{cjkbg5}{\u@cjk@Bgv351B}%
+\uc@dclc{23096}{cjkbg5}{\u@cjk@Bgv32B8}%
+\uc@dclc{23097}{cjkbg5}{\u@cjk@Bgv32CB}%
+\uc@dclc{23100}{cjkbg5}{\u@cjk@Bgv10D0}%
+\uc@dclc{23100}{cjkgb}{\u@cjk@GB2672}%
+\uc@dclc{23100}{cjkjis}{\jischar{3E2B}}%
+\uc@dclc{23102}{cjkbg5}{\u@cjk@Bgv32C9}%
+\uc@dclc{23104}{cjkbg5}{\u@cjk@Bgv10CF}%
+\uc@dclc{23104}{cjkgb}{\u@cjk@GB266E}%
+\uc@dclc{23104}{cjkjis}{\jischar{5534}}%
+\uc@dclc{23105}{cjkbg5}{\u@cjk@Bgv10CB}%
+\uc@dclc{23105}{cjkjis}{\jischar{4F2C}}%
+\uc@dclc{23106}{cjkbg5}{\u@cjk@Bgv32D2}%
+\uc@dclc{23107}{cjkbg5}{\u@cjk@Bgv32C2}%
+\uc@dclc{23108}{cjkbg5}{\u@cjk@Bgv32C5}%
+\uc@dclc{23110}{cjkbg5}{\u@cjk@Bgv10D3}%
+\uc@dclc{23110}{cjkgb}{\u@cjk@GB14BA}%
+\uc@dclc{23110}{cjkjis}{\jischar{474C}}%
+\uc@dclc{23111}{cjkbg5}{\u@cjk@Bgv32CF}%
+\uc@dclc{23112}{cjkbg5}{\u@cjk@Bgv32C7}%
+\uc@dclc{23113}{cjkbg5}{\u@cjk@Bgv10CC}%
+\uc@dclc{23113}{cjkgb}{\u@cjk@GB1778}%
+\uc@dclc{23113}{cjkjis}{\jischar{5536}}%
+\uc@dclc{23114}{cjkbg5}{\u@cjk@Bgv10D4}%
+\uc@dclc{23114}{cjkgb}{\u@cjk@GB2670}%
+\uc@dclc{23116}{cjkbg5}{\u@cjk@Bgv32CC}%
+\uc@dclc{23117}{cjkbg5}{\u@cjk@Bgv32CA}%
+\uc@dclc{23120}{cjkbg5}{\u@cjk@Bgv32BB}%
+\uc@dclc{23121}{cjkbg5}{\u@cjk@Bgv32D0}%
+\uc@dclc{23122}{cjkbg5}{\u@cjk@Bgv32C4}%
+\uc@dclc{23123}{cjkbg5}{\u@cjk@Bgv32BF}%
+\uc@dclc{23125}{cjkbg5}{\u@cjk@Bgv32B5}%
+\uc@dclc{23125}{cjkgb}{\u@cjk@GB2671}%
+\uc@dclc{23126}{cjkbg5}{\u@cjk@Bgv32D1}%
+\uc@dclc{23127}{cjkbg5}{\u@cjk@Bgv32C1}%
+\uc@dclc{23128}{cjkbg5}{\u@cjk@Bgv32B4}%
+\uc@dclc{23130}{cjkbg5}{\u@cjk@Bgv10D2}%
+\uc@dclc{23130}{cjkgb}{\u@cjk@GB10D4}%
+\uc@dclc{23130}{cjkjis}{\jischar{3A27}}%
+\uc@dclc{23131}{cjkbg5}{\u@cjk@Bgv32C6}%
+\uc@dclc{23132}{cjkbg5}{\u@cjk@Bgv32D3}%
+\uc@dclc{23133}{cjkbg5}{\u@cjk@Bgv32C3}%
+\uc@dclc{23134}{cjkbg5}{\u@cjk@Bgv32B7}%
+\uc@dclc{23135}{cjkbg5}{\u@cjk@Bgv32BC}%
+\uc@dclc{23136}{cjkbg5}{\u@cjk@Bgv32B3}%
+\uc@dclc{23138}{cjkbg5}{\u@cjk@Bgv10D1}%
+\uc@dclc{23138}{cjkgb}{\u@cjk@GB2673}%
+\uc@dclc{23138}{cjkjis}{\jischar{5539}}%
+\uc@dclc{23140}{cjkbg5}{\u@cjk@Bgv32C0}%
+\uc@dclc{23141}{cjkbg5}{\u@cjk@Bgv32BD}%
+\uc@dclc{23142}{cjkbg5}{\u@cjk@Bgv10CD}%
+\uc@dclc{23142}{cjkjis}{\jischar{4958}}%
+\uc@dclc{23143}{cjkbg5}{\u@cjk@Bgv32B6}%
+\uc@dclc{23143}{cjkgb}{\u@cjk@GB266F}%
+\uc@dclc{23145}{cjkbg5}{\u@cjk@Bgv32CE}%
+\uc@dclc{23146}{cjkbg5}{\u@cjk@Bgv10CE}%
+\uc@dclc{23146}{cjkgb}{\u@cjk@GB1278}%
+\uc@dclc{23146}{cjkjis}{\jischar{553A}}%
+\uc@dclc{23148}{cjkbg5}{\u@cjk@Bgv32BE}%
+\uc@dclc{23148}{cjkjis}{\jischar{5535}}%
+\uc@dclc{23149}{cjkbg5}{\u@cjk@Bgv32BA}%
+\uc@dclc{23152}{cjkbg5}{\u@cjk@Bgv32CD}%
+\uc@dclc{23156}{cjkgb}{\u@cjk@GB195F}%
+\uc@dclc{23157}{cjkgb}{\u@cjk@GB2674}%
+\uc@dclc{23158}{cjkgb}{\u@cjk@GB1603}%
+\uc@dclc{23159}{cjkbg5}{\u@cjk@Bgv12A7}%
+\uc@dclc{23159}{cjkgb}{\u@cjk@GB2678}%
+\uc@dclc{23160}{cjkbg5}{\u@cjk@Bgv3514}%
+\uc@dclc{23162}{cjkbg5}{\u@cjk@Bgv3511}%
+\uc@dclc{23162}{cjkgb}{\u@cjk@GB2679}%
+\uc@dclc{23163}{cjkbg5}{\u@cjk@Bgv3522}%
+\uc@dclc{23164}{cjkbg5}{\u@cjk@Bgv3516}%
+\uc@dclc{23165}{cjkbg5}{\u@cjk@Bgv3523}%
+\uc@dclc{23167}{cjkbg5}{\u@cjk@Bgv12A9}%
+\uc@dclc{23167}{cjkgb}{\u@cjk@GB1897}%
+\uc@dclc{23167}{cjkjis}{\jischar{4C3B}}%
+\uc@dclc{23171}{cjkbg5}{\u@cjk@Bgv351F}%
+\uc@dclc{23172}{cjkbg5}{\u@cjk@Bgv351C}%
+\uc@dclc{23178}{cjkbg5}{\u@cjk@Bgv351D}%
+\uc@dclc{23179}{cjkbg5}{\u@cjk@Bgv3520}%
+\uc@dclc{23180}{cjkbg5}{\u@cjk@Bgv3524}%
+\uc@dclc{23182}{cjkbg5}{\u@cjk@Bgv32C8}%
+\uc@dclc{23183}{cjkbg5}{\u@cjk@Bgv3526}%
+\uc@dclc{23184}{cjkbg5}{\u@cjk@Bgv37D3}%
+\uc@dclc{23186}{cjkbg5}{\u@cjk@Bgv12AA}%
+\uc@dclc{23186}{cjkgb}{\u@cjk@GB1398}%
+\uc@dclc{23186}{cjkjis}{\jischar{475E}}%
+\uc@dclc{23187}{cjkbg5}{\u@cjk@Bgv3527}%
+\uc@dclc{23188}{cjkbg5}{\u@cjk@Bgv350F}%
+\uc@dclc{23189}{cjkbg5}{\u@cjk@Bgv3519}%
+\uc@dclc{23191}{cjkbg5}{\u@cjk@Bgv351E}%
+\uc@dclc{23194}{cjkbg5}{\u@cjk@Bgv12A8}%
+\uc@dclc{23194}{cjkgb}{\u@cjk@GB139F}%
+\uc@dclc{23194}{cjkjis}{\jischar{553B}}%
+\uc@dclc{23195}{cjkbg5}{\u@cjk@Bgv12AB}%
+\uc@dclc{23195}{cjkgb}{\u@cjk@GB2677}%
+\uc@dclc{23195}{cjkjis}{\jischar{4932}}%
+\uc@dclc{23196}{cjkbg5}{\u@cjk@Bgv3525}%
+\uc@dclc{23197}{cjkbg5}{\u@cjk@Bgv3528}%
+\uc@dclc{23198}{cjkbg5}{\u@cjk@Bgv3513}%
+\uc@dclc{23199}{cjkbg5}{\u@cjk@Bgv3510}%
+\uc@dclc{23202}{cjkbg5}{\u@cjk@Bgv3512}%
+\uc@dclc{23205}{cjkbg5}{\u@cjk@Bgv3517}%
+\uc@dclc{23206}{cjkbg5}{\u@cjk@Bgv3515}%
+\uc@dclc{23207}{cjkbg5}{\u@cjk@Bgv12AC}%
+\uc@dclc{23209}{cjkbg5}{\u@cjk@Bgv3521}%
+\uc@dclc{23210}{cjkgb}{\u@cjk@GB2676}%
+\uc@dclc{23212}{cjkbg5}{\u@cjk@Bgv3518}%
+\uc@dclc{23214}{cjkbg5}{\u@cjk@Bgv351A}%
+\uc@dclc{23215}{cjkbg5}{\u@cjk@Bgv350E}%
+\uc@dclc{23216}{cjkbg5}{\u@cjk@Bgv37C7}%
+\uc@dclc{23217}{cjkbg5}{\u@cjk@Bgv37C5}%
+\uc@dclc{23218}{cjkbg5}{\u@cjk@Bgv1480}%
+\uc@dclc{23218}{cjkgb}{\u@cjk@GB267C}%
+\uc@dclc{23219}{cjkbg5}{\u@cjk@Bgv147E}%
+\uc@dclc{23219}{cjkgb}{\u@cjk@GB17F4}%
+\uc@dclc{23220}{cjkbg5}{\u@cjk@Bgv37CF}%
+\uc@dclc{23221}{cjkbg5}{\u@cjk@Bgv37C6}%
+\uc@dclc{23221}{cjkgb}{\u@cjk@GB287F}%
+\uc@dclc{23222}{cjkbg5}{\u@cjk@Bgv37D0}%
+\uc@dclc{23223}{cjkbg5}{\u@cjk@Bgv37CC}%
+\uc@dclc{23224}{cjkbg5}{\u@cjk@Bgv37C4}%
+\uc@dclc{23224}{cjkgb}{\u@cjk@GB267F}%
+\uc@dclc{23225}{cjkbg5}{\u@cjk@Bgv37D2}%
+\uc@dclc{23226}{cjkbg5}{\u@cjk@Bgv37C3}%
+\uc@dclc{23227}{cjkbg5}{\u@cjk@Bgv37CA}%
+\uc@dclc{23228}{cjkbg5}{\u@cjk@Bgv147D}%
+\uc@dclc{23228}{cjkjis}{\jischar{553C}}%
+\uc@dclc{23229}{cjkbg5}{\u@cjk@Bgv147C}%
+\uc@dclc{23229}{cjkjis}{\jischar{5540}}%
+\uc@dclc{23230}{cjkbg5}{\u@cjk@Bgv147B}%
+\uc@dclc{23230}{cjkgb}{\u@cjk@GB267A}%
+\uc@dclc{23230}{cjkjis}{\jischar{553D}}%
+\uc@dclc{23231}{cjkbg5}{\u@cjk@Bgv37C8}%
+\uc@dclc{23232}{cjkbg5}{\u@cjk@Bgv37CD}%
+\uc@dclc{23233}{cjkbg5}{\u@cjk@Bgv1478}%
+\uc@dclc{23233}{cjkgb}{\u@cjk@GB1127}%
+\uc@dclc{23233}{cjkjis}{\jischar{3247}}%
+\uc@dclc{23234}{cjkbg5}{\u@cjk@Bgv147F}%
+\uc@dclc{23234}{cjkgb}{\u@cjk@GB15B8}%
+\uc@dclc{23234}{cjkjis}{\jischar{553F}}%
+\uc@dclc{23236}{cjkbg5}{\u@cjk@Bgv37C1}%
+\uc@dclc{23238}{cjkbg5}{\u@cjk@Bgv37CB}%
+\uc@dclc{23239}{cjkbg5}{\u@cjk@Bgv37C0}%
+\uc@dclc{23240}{cjkbg5}{\u@cjk@Bgv37C9}%
+\uc@dclc{23241}{cjkbg5}{\u@cjk@Bgv1479}%
+\uc@dclc{23241}{cjkgb}{\u@cjk@GB10FE}%
+\uc@dclc{23241}{cjkjis}{\jischar{3C3B}}%
+\uc@dclc{23242}{cjkbg5}{\u@cjk@Bgv37CE}%
+\uc@dclc{23243}{cjkbg5}{\u@cjk@Bgv37C2}%
+\uc@dclc{23243}{cjkjis}{\jischar{553E}}%
+\uc@dclc{23244}{cjkbg5}{\u@cjk@Bgv147A}%
+\uc@dclc{23244}{cjkgb}{\u@cjk@GB1816}%
+\uc@dclc{23244}{cjkjis}{\jischar{3779}}%
+\uc@dclc{23245}{cjkbg5}{\u@cjk@Bgv37D1}%
+\uc@dclc{23248}{cjkjis}{\jischar{554C}}%
+\uc@dclc{23250}{cjkgb}{\u@cjk@GB267D}%
+\uc@dclc{23252}{cjkgb}{\u@cjk@GB267E}%
+\uc@dclc{23253}{cjkbg5}{\u@cjk@Bgv406E}%
+\uc@dclc{23254}{cjkbg5}{\u@cjk@Bgv1638}%
+\uc@dclc{23254}{cjkgb}{\u@cjk@GB2683}%
+\uc@dclc{23254}{cjkjis}{\jischar{5545}}%
+\uc@dclc{23255}{cjkbg5}{\u@cjk@Bgv1637}%
+\uc@dclc{23255}{cjkjis}{\jischar{5542}}%
+\uc@dclc{23256}{cjkbg5}{\u@cjk@Bgv1639}%
+\uc@dclc{23256}{cjkgb}{\u@cjk@GB2685}%
+\uc@dclc{23257}{cjkbg5}{\u@cjk@Bgv407A}%
+\uc@dclc{23258}{cjkbg5}{\u@cjk@Bgv4070}%
+\uc@dclc{23259}{cjkbg5}{\u@cjk@Bgv4076}%
+\uc@dclc{23260}{cjkbg5}{\u@cjk@Bgv406B}%
+\uc@dclc{23260}{cjkgb}{\u@cjk@GB2686}%
+\uc@dclc{23261}{cjkbg5}{\u@cjk@Bgv4079}%
+\uc@dclc{23262}{cjkbg5}{\u@cjk@Bgv4078}%
+\uc@dclc{23263}{cjkbg5}{\u@cjk@Bgv407C}%
+\uc@dclc{23264}{cjkbg5}{\u@cjk@Bgv4075}%
+\uc@dclc{23264}{cjkgb}{\u@cjk@GB2680}%
+\uc@dclc{23265}{cjkbg5}{\u@cjk@Bgv1634}%
+\uc@dclc{23265}{cjkgb}{\u@cjk@GB088C}%
+\uc@dclc{23265}{cjkjis}{\jischar{4364}}%
+\uc@dclc{23266}{cjkbg5}{\u@cjk@Bgv4074}%
+\uc@dclc{23267}{cjkbg5}{\u@cjk@Bgv163A}%
+\uc@dclc{23267}{cjkgb}{\u@cjk@GB2681}%
+\uc@dclc{23267}{cjkjis}{\jischar{5541}}%
+\uc@dclc{23269}{cjkbg5}{\u@cjk@Bgv406D}%
+\uc@dclc{23270}{cjkbg5}{\u@cjk@Bgv1635}%
+\uc@dclc{23270}{cjkgb}{\u@cjk@GB2684}%
+\uc@dclc{23270}{cjkjis}{\jischar{5543}}%
+\uc@dclc{23272}{cjkbg5}{\u@cjk@Bgv407B}%
+\uc@dclc{23273}{cjkbg5}{\u@cjk@Bgv1636}%
+\uc@dclc{23273}{cjkgb}{\u@cjk@GB1414}%
+\uc@dclc{23273}{cjkjis}{\jischar{5544}}%
+\uc@dclc{23274}{cjkbg5}{\u@cjk@Bgv406F}%
+\uc@dclc{23275}{cjkbg5}{\u@cjk@Bgv4072}%
+\uc@dclc{23275}{cjkgb}{\u@cjk@GB267B}%
+\uc@dclc{23276}{cjkbg5}{\u@cjk@Bgv4077}%
+\uc@dclc{23277}{cjkbg5}{\u@cjk@Bgv4071}%
+\uc@dclc{23278}{cjkbg5}{\u@cjk@Bgv406C}%
+\uc@dclc{23281}{cjkgb}{\u@cjk@GB2682}%
+\uc@dclc{23283}{cjkbg5}{\u@cjk@Bgv4073}%
+\uc@dclc{23284}{cjkbg5}{\u@cjk@Bgv42C9}%
+\uc@dclc{23285}{cjkbg5}{\u@cjk@Bgv17B0}%
+\uc@dclc{23286}{cjkbg5}{\u@cjk@Bgv42CC}%
+\uc@dclc{23287}{cjkbg5}{\u@cjk@Bgv42CB}%
+\uc@dclc{23288}{cjkbg5}{\u@cjk@Bgv42CE}%
+\uc@dclc{23289}{cjkbg5}{\u@cjk@Bgv42D0}%
+\uc@dclc{23290}{cjkjis}{\jischar{5546}}%
+\uc@dclc{23291}{cjkbg5}{\u@cjk@Bgv17AE}%
+\uc@dclc{23291}{cjkjis}{\jischar{5547}}%
+\uc@dclc{23293}{cjkbg5}{\u@cjk@Bgv42CA}%
+\uc@dclc{23295}{cjkbg5}{\u@cjk@Bgv42C8}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: