]> matita.cs.unibo.it Git - helm.git/blobdiff - share/texmf/unicode/data/uni-48.def
the Matita manual is now convertible to a decent .tex that is processable both
[helm.git] / share / texmf / unicode / data / uni-48.def
diff --git a/share/texmf/unicode/data/uni-48.def b/share/texmf/unicode/data/uni-48.def
new file mode 100644 (file)
index 0000000..2044d8d
--- /dev/null
@@ -0,0 +1,242 @@
+%%% Unicode to TeX mapping, file uni-48.def, U+3000..U+30FF, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-48.def}[2006/06/08 UCS: Unicode data U+3000..U+30FF]%
+\fi
+\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
+\uc@dclc{12288}{cjkbg5}{\u@cjk@Bgv0100}%
+\uc@dclc{12288}{cjkjis}{\jischar{2121}}%
+\uc@dclc{12289}{cjkbg5}{\u@cjk@Bgv0102}%
+\uc@dclc{12289}{cjkjis}{\jischar{2122}}%
+\uc@dclc{12290}{cjkbg5}{\u@cjk@Bgv0103}%
+\uc@dclc{12290}{cjkjis}{\jischar{2123}}%
+\uc@dclc{12291}{cjkbg5}{\u@cjk@Bgv0150}%
+\uc@dclc{12291}{cjkjis}{\jischar{2137}}%
+\uc@dclc{12293}{cjkjis}{\jischar{2139}}%
+\uc@dclc{12294}{cjkjis}{\jischar{213A}}%
+\uc@dclc{12295}{cjkjis}{\jischar{213B}}%
+\uc@dclc{12296}{cjkbg5}{\u@cjk@Bgv0131}%
+\uc@dclc{12296}{cjkjis}{\jischar{2152}}%
+\uc@dclc{12297}{cjkbg5}{\u@cjk@Bgv0132}%
+\uc@dclc{12297}{cjkjis}{\jischar{2153}}%
+\uc@dclc{12298}{cjkbg5}{\u@cjk@Bgv012D}%
+\uc@dclc{12298}{cjkjis}{\jischar{2154}}%
+\uc@dclc{12299}{cjkbg5}{\u@cjk@Bgv012E}%
+\uc@dclc{12299}{cjkjis}{\jischar{2155}}%
+\uc@dclc{12300}{cjkbg5}{\u@cjk@Bgv0135}%
+\uc@dclc{12300}{cjkjis}{\jischar{2156}}%
+\uc@dclc{12301}{cjkbg5}{\u@cjk@Bgv0136}%
+\uc@dclc{12301}{cjkjis}{\jischar{2157}}%
+\uc@dclc{12302}{cjkbg5}{\u@cjk@Bgv0139}%
+\uc@dclc{12302}{cjkjis}{\jischar{2158}}%
+\uc@dclc{12303}{cjkbg5}{\u@cjk@Bgv013A}%
+\uc@dclc{12303}{cjkjis}{\jischar{2159}}%
+\uc@dclc{12304}{cjkbg5}{\u@cjk@Bgv0129}%
+\uc@dclc{12304}{cjkjis}{\jischar{215A}}%
+\uc@dclc{12305}{cjkbg5}{\u@cjk@Bgv012A}%
+\uc@dclc{12305}{cjkjis}{\jischar{215B}}%
+\uc@dclc{12306}{cjkbg5}{\u@cjk@Bgv01A2}%
+\uc@dclc{12306}{cjkjis}{\jischar{2229}}%
+\uc@dclc{12307}{cjkjis}{\jischar{222E}}%
+\uc@dclc{12308}{cjkbg5}{\u@cjk@Bgv0125}%
+\uc@dclc{12308}{cjkjis}{\jischar{214C}}%
+\uc@dclc{12309}{cjkbg5}{\u@cjk@Bgv0126}%
+\uc@dclc{12309}{cjkjis}{\jischar{214D}}%
+\uc@dclc{12316}{cjkjis}{\jischar{2141}}%
+\uc@dclc{12317}{cjkbg5}{\u@cjk@Bgv0147}%
+\uc@dclc{12318}{cjkbg5}{\u@cjk@Bgv0148}%
+\uc@dclc{12321}{cjkbg5}{\u@cjk@Bgv01FE}%
+\uc@dclc{12322}{cjkbg5}{\u@cjk@Bgv01FF}%
+\uc@dclc{12323}{cjkbg5}{\u@cjk@Bgv0200}%
+\uc@dclc{12324}{cjkbg5}{\u@cjk@Bgv0201}%
+\uc@dclc{12325}{cjkbg5}{\u@cjk@Bgv0202}%
+\uc@dclc{12326}{cjkbg5}{\u@cjk@Bgv0203}%
+\uc@dclc{12327}{cjkbg5}{\u@cjk@Bgv0204}%
+\uc@dclc{12328}{cjkbg5}{\u@cjk@Bgv0205}%
+\uc@dclc{12329}{cjkbg5}{\u@cjk@Bgv0206}%
+\uc@dclc{12342}{autogenerated}{\unichar{12306}}%
+\uc@dclc{12344}{autogenerated}{\unichar{21313}}%
+\uc@dclc{12345}{autogenerated}{\unichar{21316}}%
+\uc@dclc{12346}{autogenerated}{\unichar{21317}}%
+\uc@dclc{12353}{cjkjis}{\jischar{2421}}%
+\uc@dclc{12354}{cjkjis}{\jischar{2422}}%
+\uc@dclc{12355}{cjkjis}{\jischar{2423}}%
+\uc@dclc{12356}{cjkjis}{\jischar{2424}}%
+\uc@dclc{12357}{cjkjis}{\jischar{2425}}%
+\uc@dclc{12358}{cjkjis}{\jischar{2426}}%
+\uc@dclc{12359}{cjkjis}{\jischar{2427}}%
+\uc@dclc{12360}{cjkjis}{\jischar{2428}}%
+\uc@dclc{12361}{cjkjis}{\jischar{2429}}%
+\uc@dclc{12362}{cjkjis}{\jischar{242A}}%
+\uc@dclc{12363}{cjkjis}{\jischar{242B}}%
+\uc@dclc{12364}{cjkjis}{\jischar{242C}}%
+\uc@dclc{12365}{cjkjis}{\jischar{242D}}%
+\uc@dclc{12366}{cjkjis}{\jischar{242E}}%
+\uc@dclc{12367}{cjkjis}{\jischar{242F}}%
+\uc@dclc{12368}{cjkjis}{\jischar{2430}}%
+\uc@dclc{12369}{cjkjis}{\jischar{2431}}%
+\uc@dclc{12370}{cjkjis}{\jischar{2432}}%
+\uc@dclc{12371}{cjkjis}{\jischar{2433}}%
+\uc@dclc{12372}{cjkjis}{\jischar{2434}}%
+\uc@dclc{12373}{cjkjis}{\jischar{2435}}%
+\uc@dclc{12374}{cjkjis}{\jischar{2436}}%
+\uc@dclc{12375}{cjkjis}{\jischar{2437}}%
+\uc@dclc{12376}{cjkjis}{\jischar{2438}}%
+\uc@dclc{12377}{cjkjis}{\jischar{2439}}%
+\uc@dclc{12378}{cjkjis}{\jischar{243A}}%
+\uc@dclc{12379}{cjkjis}{\jischar{243B}}%
+\uc@dclc{12380}{cjkjis}{\jischar{243C}}%
+\uc@dclc{12381}{cjkjis}{\jischar{243D}}%
+\uc@dclc{12382}{cjkjis}{\jischar{243E}}%
+\uc@dclc{12383}{cjkjis}{\jischar{243F}}%
+\uc@dclc{12384}{cjkjis}{\jischar{2440}}%
+\uc@dclc{12385}{cjkjis}{\jischar{2441}}%
+\uc@dclc{12386}{cjkjis}{\jischar{2442}}%
+\uc@dclc{12387}{cjkjis}{\jischar{2443}}%
+\uc@dclc{12388}{cjkjis}{\jischar{2444}}%
+\uc@dclc{12389}{cjkjis}{\jischar{2445}}%
+\uc@dclc{12390}{cjkjis}{\jischar{2446}}%
+\uc@dclc{12391}{cjkjis}{\jischar{2447}}%
+\uc@dclc{12392}{cjkjis}{\jischar{2448}}%
+\uc@dclc{12393}{cjkjis}{\jischar{2449}}%
+\uc@dclc{12394}{cjkjis}{\jischar{244A}}%
+\uc@dclc{12395}{cjkjis}{\jischar{244B}}%
+\uc@dclc{12396}{cjkjis}{\jischar{244C}}%
+\uc@dclc{12397}{cjkjis}{\jischar{244D}}%
+\uc@dclc{12398}{cjkjis}{\jischar{244E}}%
+\uc@dclc{12399}{cjkjis}{\jischar{244F}}%
+\uc@dclc{12400}{cjkjis}{\jischar{2450}}%
+\uc@dclc{12401}{cjkjis}{\jischar{2451}}%
+\uc@dclc{12402}{cjkjis}{\jischar{2452}}%
+\uc@dclc{12403}{cjkjis}{\jischar{2453}}%
+\uc@dclc{12404}{cjkjis}{\jischar{2454}}%
+\uc@dclc{12405}{cjkjis}{\jischar{2455}}%
+\uc@dclc{12406}{cjkjis}{\jischar{2456}}%
+\uc@dclc{12407}{cjkjis}{\jischar{2457}}%
+\uc@dclc{12408}{cjkjis}{\jischar{2458}}%
+\uc@dclc{12409}{cjkjis}{\jischar{2459}}%
+\uc@dclc{12410}{cjkjis}{\jischar{245A}}%
+\uc@dclc{12411}{cjkjis}{\jischar{245B}}%
+\uc@dclc{12412}{cjkjis}{\jischar{245C}}%
+\uc@dclc{12413}{cjkjis}{\jischar{245D}}%
+\uc@dclc{12414}{cjkjis}{\jischar{245E}}%
+\uc@dclc{12415}{cjkjis}{\jischar{245F}}%
+\uc@dclc{12416}{cjkjis}{\jischar{2460}}%
+\uc@dclc{12417}{cjkjis}{\jischar{2461}}%
+\uc@dclc{12418}{cjkjis}{\jischar{2462}}%
+\uc@dclc{12419}{cjkjis}{\jischar{2463}}%
+\uc@dclc{12420}{cjkjis}{\jischar{2464}}%
+\uc@dclc{12421}{cjkjis}{\jischar{2465}}%
+\uc@dclc{12422}{cjkjis}{\jischar{2466}}%
+\uc@dclc{12423}{cjkjis}{\jischar{2467}}%
+\uc@dclc{12424}{cjkjis}{\jischar{2468}}%
+\uc@dclc{12425}{cjkjis}{\jischar{2469}}%
+\uc@dclc{12426}{cjkjis}{\jischar{246A}}%
+\uc@dclc{12427}{cjkjis}{\jischar{246B}}%
+\uc@dclc{12428}{cjkjis}{\jischar{246C}}%
+\uc@dclc{12429}{cjkjis}{\jischar{246D}}%
+\uc@dclc{12430}{cjkjis}{\jischar{246E}}%
+\uc@dclc{12431}{cjkjis}{\jischar{246F}}%
+\uc@dclc{12432}{cjkjis}{\jischar{2470}}%
+\uc@dclc{12433}{cjkjis}{\jischar{2471}}%
+\uc@dclc{12434}{cjkjis}{\jischar{2472}}%
+\uc@dclc{12435}{cjkjis}{\jischar{2473}}%
+\uc@dclc{12443}{cjkjis}{\jischar{212B}}%
+\uc@dclc{12444}{cjkjis}{\jischar{212C}}%
+\uc@dclc{12445}{cjkjis}{\jischar{2135}}%
+\uc@dclc{12446}{cjkjis}{\jischar{2136}}%
+\uc@dclc{12447}{autogenerated}{\unicodevertical{\unichar{12424}\unichar{12426}}}%
+\uc@dclc{12449}{cjkjis}{\jischar{2521}}%
+\uc@dclc{12450}{cjkjis}{\jischar{2522}}%
+\uc@dclc{12451}{cjkjis}{\jischar{2523}}%
+\uc@dclc{12452}{cjkjis}{\jischar{2524}}%
+\uc@dclc{12453}{cjkjis}{\jischar{2525}}%
+\uc@dclc{12454}{cjkjis}{\jischar{2526}}%
+\uc@dclc{12455}{cjkjis}{\jischar{2527}}%
+\uc@dclc{12456}{cjkjis}{\jischar{2528}}%
+\uc@dclc{12457}{cjkjis}{\jischar{2529}}%
+\uc@dclc{12458}{cjkjis}{\jischar{252A}}%
+\uc@dclc{12459}{cjkjis}{\jischar{252B}}%
+\uc@dclc{12460}{cjkjis}{\jischar{252C}}%
+\uc@dclc{12461}{cjkjis}{\jischar{252D}}%
+\uc@dclc{12462}{cjkjis}{\jischar{252E}}%
+\uc@dclc{12463}{cjkjis}{\jischar{252F}}%
+\uc@dclc{12464}{cjkjis}{\jischar{2530}}%
+\uc@dclc{12465}{cjkjis}{\jischar{2531}}%
+\uc@dclc{12466}{cjkjis}{\jischar{2532}}%
+\uc@dclc{12467}{cjkjis}{\jischar{2533}}%
+\uc@dclc{12468}{cjkjis}{\jischar{2534}}%
+\uc@dclc{12469}{cjkjis}{\jischar{2535}}%
+\uc@dclc{12470}{cjkjis}{\jischar{2536}}%
+\uc@dclc{12471}{cjkjis}{\jischar{2537}}%
+\uc@dclc{12472}{cjkjis}{\jischar{2538}}%
+\uc@dclc{12473}{cjkjis}{\jischar{2539}}%
+\uc@dclc{12474}{cjkjis}{\jischar{253A}}%
+\uc@dclc{12475}{cjkjis}{\jischar{253B}}%
+\uc@dclc{12476}{cjkjis}{\jischar{253C}}%
+\uc@dclc{12477}{cjkjis}{\jischar{253D}}%
+\uc@dclc{12478}{cjkjis}{\jischar{253E}}%
+\uc@dclc{12479}{cjkjis}{\jischar{253F}}%
+\uc@dclc{12480}{cjkjis}{\jischar{2540}}%
+\uc@dclc{12481}{cjkjis}{\jischar{2541}}%
+\uc@dclc{12482}{cjkjis}{\jischar{2542}}%
+\uc@dclc{12483}{cjkjis}{\jischar{2543}}%
+\uc@dclc{12484}{cjkjis}{\jischar{2544}}%
+\uc@dclc{12485}{cjkjis}{\jischar{2545}}%
+\uc@dclc{12486}{cjkjis}{\jischar{2546}}%
+\uc@dclc{12487}{cjkjis}{\jischar{2547}}%
+\uc@dclc{12488}{cjkjis}{\jischar{2548}}%
+\uc@dclc{12489}{cjkjis}{\jischar{2549}}%
+\uc@dclc{12490}{cjkjis}{\jischar{254A}}%
+\uc@dclc{12491}{cjkjis}{\jischar{254B}}%
+\uc@dclc{12492}{cjkjis}{\jischar{254C}}%
+\uc@dclc{12493}{cjkjis}{\jischar{254D}}%
+\uc@dclc{12494}{cjkjis}{\jischar{254E}}%
+\uc@dclc{12495}{cjkjis}{\jischar{254F}}%
+\uc@dclc{12496}{cjkjis}{\jischar{2550}}%
+\uc@dclc{12497}{cjkjis}{\jischar{2551}}%
+\uc@dclc{12498}{cjkjis}{\jischar{2552}}%
+\uc@dclc{12499}{cjkjis}{\jischar{2553}}%
+\uc@dclc{12500}{cjkjis}{\jischar{2554}}%
+\uc@dclc{12501}{cjkjis}{\jischar{2555}}%
+\uc@dclc{12502}{cjkjis}{\jischar{2556}}%
+\uc@dclc{12503}{cjkjis}{\jischar{2557}}%
+\uc@dclc{12504}{cjkjis}{\jischar{2558}}%
+\uc@dclc{12505}{cjkjis}{\jischar{2559}}%
+\uc@dclc{12506}{cjkjis}{\jischar{255A}}%
+\uc@dclc{12507}{cjkjis}{\jischar{255B}}%
+\uc@dclc{12508}{cjkjis}{\jischar{255C}}%
+\uc@dclc{12509}{cjkjis}{\jischar{255D}}%
+\uc@dclc{12510}{cjkjis}{\jischar{255E}}%
+\uc@dclc{12511}{cjkjis}{\jischar{255F}}%
+\uc@dclc{12512}{cjkjis}{\jischar{2560}}%
+\uc@dclc{12513}{cjkjis}{\jischar{2561}}%
+\uc@dclc{12514}{cjkjis}{\jischar{2562}}%
+\uc@dclc{12515}{cjkjis}{\jischar{2563}}%
+\uc@dclc{12516}{cjkjis}{\jischar{2564}}%
+\uc@dclc{12517}{cjkjis}{\jischar{2565}}%
+\uc@dclc{12518}{cjkjis}{\jischar{2566}}%
+\uc@dclc{12519}{cjkjis}{\jischar{2567}}%
+\uc@dclc{12520}{cjkjis}{\jischar{2568}}%
+\uc@dclc{12521}{cjkjis}{\jischar{2569}}%
+\uc@dclc{12522}{cjkjis}{\jischar{256A}}%
+\uc@dclc{12523}{cjkjis}{\jischar{256B}}%
+\uc@dclc{12524}{cjkjis}{\jischar{256C}}%
+\uc@dclc{12525}{cjkjis}{\jischar{256D}}%
+\uc@dclc{12526}{cjkjis}{\jischar{256E}}%
+\uc@dclc{12527}{cjkjis}{\jischar{256F}}%
+\uc@dclc{12528}{cjkjis}{\jischar{2570}}%
+\uc@dclc{12529}{cjkjis}{\jischar{2571}}%
+\uc@dclc{12530}{cjkjis}{\jischar{2572}}%
+\uc@dclc{12531}{cjkjis}{\jischar{2573}}%
+\uc@dclc{12532}{cjkjis}{\jischar{2574}}%
+\uc@dclc{12533}{cjkjis}{\jischar{2575}}%
+\uc@dclc{12534}{cjkjis}{\jischar{2576}}%
+\uc@dclc{12539}{cjkjis}{\jischar{2126}}%
+\uc@dclc{12540}{cjkjis}{\jischar{213C}}%
+\uc@dclc{12541}{cjkjis}{\jischar{2133}}%
+\uc@dclc{12542}{cjkjis}{\jischar{2134}}%
+\uc@dclc{12543}{autogenerated}{\unicodevertical{\unichar{12467}\unichar{12488}}}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: