]> matita.cs.unibo.it Git - helm.git/blobdiff - share/texmf/unicode/data/uni-106.def
the Matita manual is now convertible to a decent .tex that is processable both
[helm.git] / share / texmf / unicode / data / uni-106.def
diff --git a/share/texmf/unicode/data/uni-106.def b/share/texmf/unicode/data/uni-106.def
new file mode 100644 (file)
index 0000000..4d877d5
--- /dev/null
@@ -0,0 +1,272 @@
+%%% Unicode to TeX mapping, file uni-106.def, U+6A00..U+6AFF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-106.def}[2006/06/08 UCS: Unicode data U+6A00..U+6AFF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{27136}{cjkbg5}{\u@cjk@Bgv431C}%
+\uc@dclc{27137}{cjkbg5}{\u@cjk@Bgv17FB}%
+\uc@dclc{27138}{cjkbg5}{\u@cjk@Bgv1803}%
+\uc@dclc{27138}{cjkjis}{\jischar{5C5B}}%
+\uc@dclc{27140}{cjkbg5}{\u@cjk@Bgv4339}%
+\uc@dclc{27141}{cjkbg5}{\u@cjk@Bgv1804}%
+\uc@dclc{27141}{cjkjis}{\jischar{5C62}}%
+\uc@dclc{27142}{cjkbg5}{\u@cjk@Bgv431D}%
+\uc@dclc{27143}{cjkbg5}{\u@cjk@Bgv433F}%
+\uc@dclc{27144}{cjkbg5}{\u@cjk@Bgv4332}%
+\uc@dclc{27145}{cjkbg5}{\u@cjk@Bgv4338}%
+\uc@dclc{27146}{cjkbg5}{\u@cjk@Bgv1801}%
+\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{27146}{cjkgb}{\u@cjk@GB0921}%
+\uc@dclc{27146}{cjkjis}{\jischar{5C68}}%
+\uc@dclc{27147}{cjkjis}{\jischar{4875}}%
+\uc@dclc{27148}{cjkjis}{\jischar{5C6E}}%
+\uc@dclc{27149}{cjkbg5}{\u@cjk@Bgv4335}%
+\uc@dclc{27151}{cjkbg5}{\u@cjk@Bgv433C}%
+\uc@dclc{27153}{cjkbg5}{\u@cjk@Bgv1806}%
+\uc@dclc{27154}{cjkjis}{\jischar{5C69}}%
+\uc@dclc{27155}{cjkbg5}{\u@cjk@Bgv1800}%
+\uc@dclc{27155}{cjkjis}{\jischar{5C6C}}%
+\uc@dclc{27156}{cjkbg5}{\u@cjk@Bgv432E}%
+\uc@dclc{27156}{cjkjis}{\jischar{5C66}}%
+\uc@dclc{27157}{cjkbg5}{\u@cjk@Bgv4321}%
+\uc@dclc{27158}{cjkbg5}{\u@cjk@Bgv4341}%
+\uc@dclc{27159}{cjkbg5}{\u@cjk@Bgv431E}%
+\uc@dclc{27159}{cjkgb}{\u@cjk@GB279A}%
+\uc@dclc{27159}{cjkjis}{\jischar{4374}}%
+\uc@dclc{27160}{cjkbg5}{\u@cjk@Bgv433A}%
+\uc@dclc{27160}{cjkgb}{\u@cjk@GB279B}%
+\uc@dclc{27161}{cjkbg5}{\u@cjk@Bgv17FD}%
+\uc@dclc{27161}{cjkjis}{\jischar{4938}}%
+\uc@dclc{27163}{cjkbg5}{\u@cjk@Bgv4328}%
+\uc@dclc{27163}{cjkjis}{\jischar{5C5C}}%
+\uc@dclc{27165}{cjkbg5}{\u@cjk@Bgv4329}%
+\uc@dclc{27166}{cjkbg5}{\u@cjk@Bgv17FC}%
+\uc@dclc{27166}{cjkjis}{\jischar{5C64}}%
+\uc@dclc{27167}{cjkbg5}{\u@cjk@Bgv17F9}%
+\uc@dclc{27167}{cjkgb}{\u@cjk@GB2038}%
+\uc@dclc{27167}{cjkjis}{\jischar{3E40}}%
+\uc@dclc{27168}{cjkbg5}{\u@cjk@Bgv4324}%
+\uc@dclc{27169}{cjkbg5}{\u@cjk@Bgv17FF}%
+\uc@dclc{27169}{cjkgb}{\u@cjk@GB13DC}%
+\uc@dclc{27169}{cjkjis}{\jischar{4C4F}}%
+\uc@dclc{27170}{cjkjis}{\jischar{5C78}}%
+\uc@dclc{27171}{cjkbg5}{\u@cjk@Bgv17F8}%
+\uc@dclc{27171}{cjkjis}{\jischar{5C6B}}%
+\uc@dclc{27173}{cjkbg5}{\u@cjk@Bgv433B}%
+\uc@dclc{27174}{cjkbg5}{\u@cjk@Bgv433E}%
+\uc@dclc{27175}{cjkbg5}{\u@cjk@Bgv432B}%
+\uc@dclc{27176}{cjkbg5}{\u@cjk@Bgv4590}%
+\uc@dclc{27176}{cjkgb}{\u@cjk@GB27A7}%
+\uc@dclc{27177}{cjkjis}{\jischar{3822}}%
+\uc@dclc{27178}{cjkgb}{\u@cjk@GB106E}%
+\uc@dclc{27178}{cjkjis}{\jischar{3223}}%
+\uc@dclc{27179}{cjkjis}{\jischar{335F}}%
+\uc@dclc{27182}{cjkjis}{\jischar{5C53}}%
+\uc@dclc{27183}{cjkgb}{\u@cjk@GB2798}%
+\uc@dclc{27185}{cjkgb}{\u@cjk@GB195E}%
+\uc@dclc{27186}{cjkbg5}{\u@cjk@Bgv4588}%
+\uc@dclc{27188}{cjkbg5}{\u@cjk@Bgv4584}%
+\uc@dclc{27189}{cjkbg5}{\u@cjk@Bgv195D}%
+\uc@dclc{27189}{cjkgb}{\u@cjk@GB27A3}%
+\uc@dclc{27189}{cjkjis}{\jischar{3E41}}%
+\uc@dclc{27190}{cjkjis}{\jischar{5C70}}%
+\uc@dclc{27192}{cjkbg5}{\u@cjk@Bgv1952}%
+\uc@dclc{27192}{cjkjis}{\jischar{5C77}}%
+\uc@dclc{27193}{cjkbg5}{\u@cjk@Bgv1957}%
+\uc@dclc{27193}{cjkjis}{\jischar{3C79}}%
+\uc@dclc{27194}{cjkbg5}{\u@cjk@Bgv1953}%
+\uc@dclc{27194}{cjkjis}{\jischar{3372}}%
+\uc@dclc{27195}{cjkbg5}{\u@cjk@Bgv4592}%
+\uc@dclc{27196}{cjkbg5}{\u@cjk@Bgv459D}%
+\uc@dclc{27197}{cjkbg5}{\u@cjk@Bgv1951}%
+\uc@dclc{27197}{cjkgb}{\u@cjk@GB27A6}%
+\uc@dclc{27197}{cjkjis}{\jischar{432E}}%
+\uc@dclc{27198}{cjkbg5}{\u@cjk@Bgv458A}%
+\uc@dclc{27198}{cjkgb}{\u@cjk@GB279F}%
+\uc@dclc{27199}{cjkbg5}{\u@cjk@Bgv4593}%
+\uc@dclc{27200}{cjkbg5}{\u@cjk@Bgv4331}%
+\uc@dclc{27201}{cjkbg5}{\u@cjk@Bgv4594}%
+\uc@dclc{27204}{cjkbg5}{\u@cjk@Bgv1958}%
+\uc@dclc{27204}{cjkgb}{\u@cjk@GB279E}%
+\uc@dclc{27204}{cjkjis}{\jischar{5C6D}}%
+\uc@dclc{27206}{cjkbg5}{\u@cjk@Bgv45A3}%
+\uc@dclc{27207}{cjkbg5}{\u@cjk@Bgv195C}%
+\uc@dclc{27207}{cjkgb}{\u@cjk@GB1514}%
+\uc@dclc{27207}{cjkjis}{\jischar{5C72}}%
+\uc@dclc{27208}{cjkbg5}{\u@cjk@Bgv195F}%
+\uc@dclc{27208}{cjkjis}{\jischar{5C76}}%
+\uc@dclc{27209}{cjkbg5}{\u@cjk@Bgv4586}%
+\uc@dclc{27211}{cjkbg5}{\u@cjk@Bgv195B}%
+\uc@dclc{27211}{cjkjis}{\jischar{3636}}%
+\uc@dclc{27213}{cjkbg5}{\u@cjk@Bgv45A1}%
+\uc@dclc{27214}{cjkbg5}{\u@cjk@Bgv45A2}%
+\uc@dclc{27215}{cjkbg5}{\u@cjk@Bgv4598}%
+\uc@dclc{27216}{cjkbg5}{\u@cjk@Bgv4597}%
+\uc@dclc{27216}{cjkgb}{\u@cjk@GB27A1}%
+\uc@dclc{27217}{cjkbg5}{\u@cjk@Bgv458F}%
+\uc@dclc{27220}{cjkbg5}{\u@cjk@Bgv4599}%
+\uc@dclc{27221}{cjkbg5}{\u@cjk@Bgv45A0}%
+\uc@dclc{27222}{cjkbg5}{\u@cjk@Bgv459F}%
+\uc@dclc{27224}{cjkbg5}{\u@cjk@Bgv1956}%
+\uc@dclc{27224}{cjkgb}{\u@cjk@GB27A8}%
+\uc@dclc{27224}{cjkjis}{\jischar{354C}}%
+\uc@dclc{27225}{cjkbg5}{\u@cjk@Bgv1954}%
+\uc@dclc{27225}{cjkgb}{\u@cjk@GB07C3}%
+\uc@dclc{27225}{cjkjis}{\jischar{5C74}}%
+\uc@dclc{27226}{cjkbg5}{\u@cjk@Bgv4591}%
+\uc@dclc{27227}{cjkbg5}{\u@cjk@Bgv458E}%
+\uc@dclc{27227}{cjkgb}{\u@cjk@GB27A2}%
+\uc@dclc{27229}{cjkbg5}{\u@cjk@Bgv458B}%
+\uc@dclc{27230}{cjkbg5}{\u@cjk@Bgv459E}%
+\uc@dclc{27231}{cjkbg5}{\u@cjk@Bgv195E}%
+\uc@dclc{27231}{cjkjis}{\jischar{3521}}%
+\uc@dclc{27232}{cjkbg5}{\u@cjk@Bgv459C}%
+\uc@dclc{27233}{cjkbg5}{\u@cjk@Bgv195A}%
+\uc@dclc{27233}{cjkgb}{\u@cjk@GB1833}%
+\uc@dclc{27233}{cjkjis}{\jischar{464B}}%
+\uc@dclc{27234}{cjkbg5}{\u@cjk@Bgv1959}%
+\uc@dclc{27234}{cjkjis}{\jischar{5C73}}%
+\uc@dclc{27236}{cjkbg5}{\u@cjk@Bgv4596}%
+\uc@dclc{27237}{cjkgb}{\u@cjk@GB279C}%
+\uc@dclc{27238}{cjkbg5}{\u@cjk@Bgv4585}%
+\uc@dclc{27238}{cjkjis}{\jischar{5C75}}%
+\uc@dclc{27239}{cjkbg5}{\u@cjk@Bgv4587}%
+\uc@dclc{27240}{cjkbg5}{\u@cjk@Bgv4589}%
+\uc@dclc{27241}{cjkbg5}{\u@cjk@Bgv459B}%
+\uc@dclc{27242}{cjkbg5}{\u@cjk@Bgv4595}%
+\uc@dclc{27243}{cjkbg5}{\u@cjk@Bgv1955}%
+\uc@dclc{27245}{cjkbg5}{\u@cjk@Bgv458C}%
+\uc@dclc{27247}{cjkbg5}{\u@cjk@Bgv459A}%
+\uc@dclc{27249}{cjkgb}{\u@cjk@GB07F2}%
+\uc@dclc{27250}{cjkjis}{\jischar{5C6F}}%
+\uc@dclc{27254}{cjkbg5}{\u@cjk@Bgv458D}%
+\uc@dclc{27256}{cjkjis}{\jischar{5C71}}%
+\uc@dclc{27257}{cjkgb}{\u@cjk@GB27A5}%
+\uc@dclc{27260}{cjkgb}{\u@cjk@GB27A9}%
+\uc@dclc{27262}{cjkbg5}{\u@cjk@Bgv2070}%
+\uc@dclc{27263}{cjkbg5}{\u@cjk@Bgv47A1}%
+\uc@dclc{27263}{cjkjis}{\jischar{3360}}%
+\uc@dclc{27264}{cjkbg5}{\u@cjk@Bgv2069}%
+\uc@dclc{27264}{cjkgb}{\u@cjk@GB16DD}%
+\uc@dclc{27264}{cjkjis}{\jischar{4349}}%
+\uc@dclc{27265}{cjkbg5}{\u@cjk@Bgv4792}%
+\uc@dclc{27267}{cjkbg5}{\u@cjk@Bgv479D}%
+\uc@dclc{27268}{cjkbg5}{\u@cjk@Bgv206B}%
+\uc@dclc{27268}{cjkgb}{\u@cjk@GB17F0}%
+\uc@dclc{27268}{cjkjis}{\jischar{5C7C}}%
+\uc@dclc{27269}{cjkbg5}{\u@cjk@Bgv47A4}%
+\uc@dclc{27271}{cjkbg5}{\u@cjk@Bgv4799}%
+\uc@dclc{27273}{cjkbg5}{\u@cjk@Bgv4794}%
+\uc@dclc{27276}{cjkbg5}{\u@cjk@Bgv47A5}%
+\uc@dclc{27277}{cjkbg5}{\u@cjk@Bgv4790}%
+\uc@dclc{27277}{cjkjis}{\jischar{5C7A}}%
+\uc@dclc{27278}{cjkbg5}{\u@cjk@Bgv479B}%
+\uc@dclc{27278}{cjkgb}{\u@cjk@GB27A4}%
+\uc@dclc{27278}{cjkjis}{\jischar{3869}}%
+\uc@dclc{27280}{cjkbg5}{\u@cjk@Bgv2072}%
+\uc@dclc{27280}{cjkgb}{\u@cjk@GB27AB}%
+\uc@dclc{27280}{cjkjis}{\jischar{5C79}}%
+\uc@dclc{27281}{cjkbg5}{\u@cjk@Bgv47A0}%
+\uc@dclc{27281}{cjkgb}{\u@cjk@GB27AA}%
+\uc@dclc{27282}{cjkbg5}{\u@cjk@Bgv47A6}%
+\uc@dclc{27283}{cjkbg5}{\u@cjk@Bgv479A}%
+\uc@dclc{27284}{cjkbg5}{\u@cjk@Bgv206A}%
+\uc@dclc{27285}{cjkbg5}{\u@cjk@Bgv479C}%
+\uc@dclc{27286}{cjkbg5}{\u@cjk@Bgv4791}%
+\uc@dclc{27287}{cjkbg5}{\u@cjk@Bgv2071}%
+\uc@dclc{27287}{cjkgb}{\u@cjk@GB27AD}%
+\uc@dclc{27287}{cjkjis}{\jischar{5D21}}%
+\uc@dclc{27290}{cjkbg5}{\u@cjk@Bgv47A3}%
+\uc@dclc{27291}{cjkbg5}{\u@cjk@Bgv4796}%
+\uc@dclc{27292}{cjkbg5}{\u@cjk@Bgv206D}%
+\uc@dclc{27292}{cjkjis}{\jischar{5B58}}%
+\uc@dclc{27294}{cjkbg5}{\u@cjk@Bgv4798}%
+\uc@dclc{27295}{cjkbg5}{\u@cjk@Bgv4795}%
+\uc@dclc{27296}{cjkbg5}{\u@cjk@Bgv2073}%
+\uc@dclc{27296}{cjkgb}{\u@cjk@GB27A0}%
+\uc@dclc{27296}{cjkjis}{\jischar{5C7B}}%
+\uc@dclc{27297}{cjkbg5}{\u@cjk@Bgv4797}%
+\uc@dclc{27298}{cjkbg5}{\u@cjk@Bgv206C}%
+\uc@dclc{27298}{cjkjis}{\jischar{5C7D}}%
+\uc@dclc{27299}{cjkbg5}{\u@cjk@Bgv206F}%
+\uc@dclc{27299}{cjkjis}{\jischar{5C7E}}%
+\uc@dclc{27300}{cjkbg5}{\u@cjk@Bgv479F}%
+\uc@dclc{27301}{cjkbg5}{\u@cjk@Bgv4793}%
+\uc@dclc{27302}{cjkbg5}{\u@cjk@Bgv47A2}%
+\uc@dclc{27304}{cjkbg5}{\u@cjk@Bgv479E}%
+\uc@dclc{27305}{cjkgb}{\u@cjk@GB27AC}%
+\uc@dclc{27306}{cjkjis}{\jischar{5D2C}}%
+\uc@dclc{27307}{cjkgb}{\u@cjk@GB27AE}%
+\uc@dclc{27308}{cjkbg5}{\u@cjk@Bgv2160}%
+\uc@dclc{27308}{cjkgb}{\u@cjk@GB13A5}%
+\uc@dclc{27308}{cjkjis}{\jischar{5D28}}%
+\uc@dclc{27309}{cjkbg5}{\u@cjk@Bgv495B}%
+\uc@dclc{27310}{cjkbg5}{\u@cjk@Bgv2165}%
+\uc@dclc{27310}{cjkjis}{\jischar{5B6D}}%
+\uc@dclc{27311}{cjkbg5}{\u@cjk@Bgv2166}%
+\uc@dclc{27315}{cjkbg5}{\u@cjk@Bgv215F}%
+\uc@dclc{27315}{cjkjis}{\jischar{5D27}}%
+\uc@dclc{27316}{cjkbg5}{\u@cjk@Bgv495A}%
+\uc@dclc{27318}{cjkbg5}{\u@cjk@Bgv4957}%
+\uc@dclc{27319}{cjkbg5}{\u@cjk@Bgv4958}%
+\uc@dclc{27320}{cjkbg5}{\u@cjk@Bgv2163}%
+\uc@dclc{27320}{cjkjis}{\jischar{5D26}}%
+\uc@dclc{27321}{cjkbg5}{\u@cjk@Bgv4952}%
+\uc@dclc{27322}{cjkbg5}{\u@cjk@Bgv4956}%
+\uc@dclc{27323}{cjkbg5}{\u@cjk@Bgv2162}%
+\uc@dclc{27323}{cjkjis}{\jischar{5D23}}%
+\uc@dclc{27325}{cjkbg5}{\u@cjk@Bgv4953}%
+\uc@dclc{27329}{cjkjis}{\jischar{5C6A}}%
+\uc@dclc{27330}{cjkbg5}{\u@cjk@Bgv2164}%
+\uc@dclc{27330}{cjkjis}{\jischar{5D25}}%
+\uc@dclc{27331}{cjkbg5}{\u@cjk@Bgv2161}%
+\uc@dclc{27331}{cjkjis}{\jischar{5D24}}%
+\uc@dclc{27333}{cjkbg5}{\u@cjk@Bgv4951}%
+\uc@dclc{27334}{cjkbg5}{\u@cjk@Bgv4955}%
+\uc@dclc{27335}{cjkbg5}{\u@cjk@Bgv4959}%
+\uc@dclc{27339}{cjkbg5}{\u@cjk@Bgv50BE}%
+\uc@dclc{27340}{cjkbg5}{\u@cjk@Bgv50BB}%
+\uc@dclc{27341}{cjkbg5}{\u@cjk@Bgv50C4}%
+\uc@dclc{27343}{cjkbg5}{\u@cjk@Bgv50C3}%
+\uc@dclc{27344}{cjkbg5}{\u@cjk@Bgv50C1}%
+\uc@dclc{27345}{cjkbg5}{\u@cjk@Bgv50BC}%
+\uc@dclc{27345}{cjkjis}{\jischar{5D2A}}%
+\uc@dclc{27347}{cjkbg5}{\u@cjk@Bgv220C}%
+\uc@dclc{27347}{cjkjis}{\jischar{4F26}}%
+\uc@dclc{27353}{cjkbg5}{\u@cjk@Bgv50BD}%
+\uc@dclc{27354}{cjkbg5}{\u@cjk@Bgv220B}%
+\uc@dclc{27354}{cjkjis}{\jischar{5D2D}}%
+\uc@dclc{27355}{cjkbg5}{\u@cjk@Bgv206E}%
+\uc@dclc{27355}{cjkjis}{\jischar{367B}}%
+\uc@dclc{27356}{cjkbg5}{\u@cjk@Bgv50C0}%
+\uc@dclc{27357}{cjkbg5}{\u@cjk@Bgv220A}%
+\uc@dclc{27358}{cjkbg5}{\u@cjk@Bgv50C5}%
+\uc@dclc{27358}{cjkjis}{\jischar{5D29}}%
+\uc@dclc{27359}{cjkbg5}{\u@cjk@Bgv50BF}%
+\uc@dclc{27359}{cjkjis}{\jischar{5D2B}}%
+\uc@dclc{27360}{cjkbg5}{\u@cjk@Bgv50BA}%
+\uc@dclc{27361}{cjkbg5}{\u@cjk@Bgv4954}%
+\uc@dclc{27365}{cjkbg5}{\u@cjk@Bgv2209}%
+\uc@dclc{27367}{cjkbg5}{\u@cjk@Bgv50B9}%
+\uc@dclc{27368}{cjkbg5}{\u@cjk@Bgv51FD}%
+\uc@dclc{27368}{cjkjis}{\jischar{4827}}%
+\uc@dclc{27370}{cjkbg5}{\u@cjk@Bgv51FC}%
+\uc@dclc{27370}{cjkjis}{\jischar{5D2E}}%
+\uc@dclc{27371}{cjkbg5}{\u@cjk@Bgv50C2}%
+\uc@dclc{27372}{cjkbg5}{\u@cjk@Bgv229F}%
+\uc@dclc{27374}{cjkbg5}{\u@cjk@Bgv5200}%
+\uc@dclc{27375}{cjkbg5}{\u@cjk@Bgv5201}%
+\uc@dclc{27376}{cjkbg5}{\u@cjk@Bgv51FB}%
+\uc@dclc{27377}{cjkbg5}{\u@cjk@Bgv51FF}%
+\uc@dclc{27379}{cjkbg5}{\u@cjk@Bgv51FA}%
+\uc@dclc{27384}{cjkbg5}{\u@cjk@Bgv52F3}%
+\uc@dclc{27385}{cjkbg5}{\u@cjk@Bgv51FE}%
+\uc@dclc{27386}{cjkbg5}{\u@cjk@Bgv22FC}%
+\uc@dclc{27386}{cjkjis}{\jischar{5D32}}%
+\uc@dclc{27387}{cjkbg5}{\u@cjk@Bgv22FA}%
+\uc@dclc{27387}{cjkjis}{\jischar{5D2F}}%
+\uc@dclc{27388}{cjkbg5}{\u@cjk@Bgv52F1}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: