]> matita.cs.unibo.it Git - helm.git/blob - helm/software/share/texmf/unicode/data/uni-37.def
Preparing for 0.5.9 release.
[helm.git] / helm / software / share / texmf / unicode / data / uni-37.def
1 %%% Unicode to TeX mapping, file uni-37.def, U+2500..U+25FF, autogenerated by makeunidef.pl
2 \ifx\ProvidesFile\undefined\else
3 \ProvidesFile{uni-37.def}[2006/06/08 UCS: Unicode data U+2500..U+25FF]%
4 \fi
5 \gdef\uc@bd@bx#1{%
6   \leavevmode
7   \begingroup
8   \ifx\uc@box@width\undefined\setbox0\hbox{0}\def\uc@box@width{\wd0}\fi
9   \ifx\uc@box@height\undefined\let\uc@box@height\baselineskip\fi
10   \ifx\uc@box@lower\undefined\def\uc@box@lower{.3\uc@box@height}\fi
11   \def\l{\psline}%
12   \def\t{\psset{linewidth=.2}}%
13   \def\b{\psset{linewidth=.4}}%
14   \def\q{\psframe*}%
15   \def\d##1{{\psset{linewidth=.6}##1}%
16     {\psset{linewidth=.2,linecolor=white}##1}}%
17   \def\r{\psset{linearc=.8}}%
18   \psset{unit=.5\uc@box@width,yunit=-.5\uc@box@height}%
19   \t
20   \lower\uc@box@lower\hbox{%
21   \begin{pspicture}(-1,-1)(1,1)%
22     #1%
23   \end{pspicture}}%
24   \endgroup}%
25 \uc@dclc{9472}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)}}%
26 \uc@dclc{9473}{postscript}{\uc@bd@bx{\b\l(-1,0)(1,0)}}%
27 \uc@dclc{9474}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)}}%
28 \uc@dclc{9475}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,1)}}%
29 \uc@dclc{9476}{postscript}{\uc@bd@bx{\l(-1,0)(-.55,0)\l(-.33,0)(.11,0)\l(.33,0)(.77,0)}}%
30 \uc@dclc{9477}{postscript}{\uc@bd@bx{\b\l(-1,0)(-.55,0)\l(-.33,0)(.11,0)\l(.33,0)(.77,0)}}%
31 \uc@dclc{9478}{postscript}{\uc@bd@bx{\l(0,-1)(0,-.55)\l(0,-.33)(0,.11)\l(0,.33)(0,.77)}}%
32 \uc@dclc{9479}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,-.55)\l(0,-.33)(0,.11)\l(0,.33)(0,.77)}}%
33 \uc@dclc{9482}{postscript}{\uc@bd@bx{\l(0,-1)(0,-.66)\l(0,-.5)(0,-.16)\l(0,0)(0,.33)\l(0,.5)(0,.83)}}%
34 \uc@dclc{9483}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,-.66)\l(0,-.5)(0,-.16)\l(0,0)(0,.33)\l(0,.5)(0,.83)}}%
35 \uc@dclc{9484}{postscript}{\uc@bd@bx{\l(0,1)(0,0)(1,0)}}%
36 \uc@dclc{9485}{postscript}{\uc@bd@bx{\l(0,0)(0,1)\b\l(0,0)(1,0)}}%
37 \uc@dclc{9486}{postscript}{\uc@bd@bx{\l(0,0)(1,0)\b\l(0,0)(0,1)}}%
38 \uc@dclc{9487}{postscript}{\uc@bd@bx{\b\l(0,1)(0,0)(1,0)}}%
39 \uc@dclc{9488}{postscript}{\uc@bd@bx{\l(-1,0)(0,0)(0,1)}}%
40 \uc@dclc{9489}{postscript}{\uc@bd@bx{\l(0,0)(0,1)\b\l(-1,0)(0,0)}}%
41 \uc@dclc{9490}{postscript}{\uc@bd@bx{\l(0,0)(-1,0)\b\l(0,0)(0,1)}}%
42 \uc@dclc{9491}{postscript}{\uc@bd@bx{\b\l(-1,0)(0,0)(0,1)}}%
43 \uc@dclc{9492}{postscript}{\uc@bd@bx{\l(1,0)(0,0)(0,-1)}}%
44 \uc@dclc{9493}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)\b\l(0,0)(1,0)}}%
45 \uc@dclc{9494}{postscript}{\uc@bd@bx{\l(0,0)(1,0)\b\l(0,-1)(0,0)}}%
46 \uc@dclc{9495}{postscript}{\uc@bd@bx{\b\l(1,0)(0,0)(0,-1)}}%
47 \uc@dclc{9496}{postscript}{\uc@bd@bx{\l(0,-1)(0,0)(-1,0)}}%
48 \uc@dclc{9497}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)\b\l(-1,0)(0,0)}}%
49 \uc@dclc{9498}{postscript}{\uc@bd@bx{\l(0,0)(-1,0)\b\l(0,-1)(0,0)}}%
50 \uc@dclc{9499}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,0)(-1,0)}}%
51 \uc@dclc{9500}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)\l(0,0)(1,0)}}%
52 \uc@dclc{9501}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)\b\l(0,0)(1,0)}}%
53 \uc@dclc{9504}{postscript}{\uc@bd@bx{\l(0,0)(1,0)\b\l(0,-1)(0,1)}}%
54 \uc@dclc{9507}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,1)\l(0,0)(1,0)}}%
55 \uc@dclc{9508}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)\l(0,0)(-1,0)}}%
56 \uc@dclc{9509}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)\b\l(0,0)(-1,0)}}%
57 \uc@dclc{9512}{postscript}{\uc@bd@bx{\l(0,0)(-1,0)\b\l(0,-1)(0,1)}}%
58 \uc@dclc{9515}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,1)\l(0,0)(-1,0)}}%
59 \uc@dclc{9516}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\l(0,0)(0,1)}}%
60 \uc@dclc{9519}{postscript}{\uc@bd@bx{\l(0,0)(0,1)\b\l(-1,0)(1,0)}}%
61 \uc@dclc{9520}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\b\l(0,0)(0,1)}}%
62 \uc@dclc{9523}{postscript}{\uc@bd@bx{\b\l(-1,0)(1,0)\l(0,0)(0,1)}}%
63 \uc@dclc{9524}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\l(0,0)(0,-1)}}%
64 \uc@dclc{9527}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)\b\l(-1,0)(1,0)}}%
65 \uc@dclc{9528}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\b\l(0,0)(0,-1)}}%
66 \uc@dclc{9531}{postscript}{\uc@bd@bx{\b\l(-1,0)(1,0)\l(0,0)(0,-1)}}%
67 \uc@dclc{9532}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\l(0,-1)(0,1)}}%
68 \uc@dclc{9535}{postscript}{\uc@bd@bx{\l(0,-1)(0,1)\b\l(-1,0)(1,0)}}%
69 \uc@dclc{9536}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\l(0,0)(0,1)\b\l(0,-1)(0,0)}}%
70 \uc@dclc{9537}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\l(0,0)(0,-1)\b\l(0,1)(0,0)}}%
71 \uc@dclc{9538}{postscript}{\uc@bd@bx{\l(-1,0)(1,0)\b\l(0,-1)(0,1)}}%
72 \uc@dclc{9539}{postscript}{\uc@bd@bx{\l(0,1)(0,0)(1,0)\b\l(-1,0)(0,0)(0,-1)}}%
73 \uc@dclc{9540}{postscript}{\uc@bd@bx{\l(-1,0)(0,0)(0,1)\b\l(0,-1)(0,0)(1,0)}}%
74 \uc@dclc{9541}{postscript}{\uc@bd@bx{\l(0,-1)(0,0)(1,0)\b\l(-1,0)(0,0)(0,1)}}%
75 \uc@dclc{9542}{postscript}{\uc@bd@bx{\l(-1,0)(0,0)(0,-1)\b\l(1,0)(0,0)(0,1)}}%
76 \uc@dclc{9547}{postscript}{\uc@bd@bx{\b\l(-1,0)(1,0)\l(0,-1)(0,1)}}%
77 \uc@dclc{9548}{postscript}{\uc@bd@bx{\l(-1,0)(-.33,0)\l(0,0)(.66,0)}}%
78 \uc@dclc{9549}{postscript}{\uc@bd@bx{\b\l(-1,0)(-.33,0)\l(0,0)(.66,0)}}%
79 \uc@dclc{9550}{postscript}{\uc@bd@bx{\l(0,-1)(0,-.33)\l(0,0)(0,.66)}}%
80 \uc@dclc{9551}{postscript}{\uc@bd@bx{\b\l(0,-1)(0,-.33)\l(0,0)(0,.66)}}%
81 \uc@dclc{9552}{postscript}{\uc@bd@bx{\d{\l(-1,0)(1,0)}}}%
82 \uc@dclc{9553}{postscript}{\uc@bd@bx{\d{\l(0,-1)(0,1)}}}%
83 \uc@dclc{9554}{postscript}{\uc@bd@bx{\d{\l(0,0)(1,0)}\l(0,0)(0,1)}}%
84 \uc@dclc{9555}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,1)}\l(0,0)(1,0)}}%
85 \uc@dclc{9556}{postscript}{\uc@bd@bx{\d{\l(0,1)(0,0)(1,0)}}}%
86 \uc@dclc{9557}{postscript}{\uc@bd@bx{\d{\l(0,0)(-1,0)}\l(0,0)(0,1)}}%
87 \uc@dclc{9558}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,1)}\l(0,0)(-1,0)}}%
88 \uc@dclc{9559}{postscript}{\uc@bd@bx{\d{\l(0,1)(0,0)(-1,0)}}}%
89 \uc@dclc{9560}{postscript}{\uc@bd@bx{\d{\l(0,0)(1,0)}\l(0,0)(0,-1)}}%
90 \uc@dclc{9561}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,-1)}\l(0,0)(1,0)}}%
91 \uc@dclc{9562}{postscript}{\uc@bd@bx{\d{\l(0,-1)(0,0)(1,0)}}}%
92 \uc@dclc{9563}{postscript}{\uc@bd@bx{\d{\l(0,0)(-1,0)}\l(0,0)(0,-1)}}%
93 \uc@dclc{9564}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,-1)}\l(0,0)(-1,0)}}%
94 \uc@dclc{9565}{postscript}{\uc@bd@bx{\d{\l(-1,0)(0,0)(0,-1)}}}%
95 \uc@dclc{9566}{postscript}{\uc@bd@bx{\d{\l(1,0)(0,0)}\l(0,-1)(0,1)}}%
96 \uc@dclc{9567}{postscript}{\uc@bd@bx{\l(0,0)(1,0)\d{\l(0,-1)(0,1)}}}%
97 \uc@dclc{9568}{postscript}{\uc@bd@bx{\d{\l(0,-1)(0,1)\l(0,0)(1,0)}}}%
98 \uc@dclc{9569}{postscript}{\uc@bd@bx{\d{\l(-1,0)(0,0)}\l(0,-1)(0,1)}}%
99 \uc@dclc{9570}{postscript}{\uc@bd@bx{\l(0,0)(-1,0)\d{\l(0,-1)(0,1)}}}%
100 \uc@dclc{9571}{postscript}{\uc@bd@bx{\d{\l(0,-1)(0,1)\l(0,0)(-1,0)}}}%
101 \uc@dclc{9572}{postscript}{\uc@bd@bx{\l(0,0)(0,1)\d{\l(-1,0)(1,0)}}}%
102 \uc@dclc{9573}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,1)}\l(-1,0)(1,0)}}%
103 \uc@dclc{9574}{postscript}{\uc@bd@bx{\d{\l(-1,0)(1,0)\l(0,1)(0,0)}}}%
104 \uc@dclc{9575}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)\d{\l(-1,0)(1,0)}}}%
105 \uc@dclc{9576}{postscript}{\uc@bd@bx{\d{\l(0,0)(0,-1)}\l(-1,0)(1,0)}}%
106 \uc@dclc{9577}{postscript}{\uc@bd@bx{\d{\l(-1,0)(1,0)\l(0,-1)(0,0)}}}%
107 \uc@dclc{9578}{postscript}{\uc@bd@bx{\d{\l(-1,0)(1,0)}\l(0,-1)(0,1)}}%
108 \uc@dclc{9579}{postscript}{\uc@bd@bx{\d{\l(0,-1)(0,1)}\l(-1,0)(1,0)}}%
109 \uc@dclc{9581}{postscript}{\uc@bd@bx{\r\l(0,1)(0,0)(1,0)}}%
110 \uc@dclc{9582}{postscript}{\uc@bd@bx{\r\l(0,1)(0,0)(-1,0)}}%
111 \uc@dclc{9583}{postscript}{\uc@bd@bx{\r\l(-1,0)(0,0)(0,-1)}}%
112 \uc@dclc{9584}{postscript}{\uc@bd@bx{\r\l(0,-1)(0,0)(1,0)}}%
113 \uc@dclc{9585}{postscript}{\uc@bd@bx{\l(1,-1)(-1,1)}}%
114 \uc@dclc{9586}{postscript}{\uc@bd@bx{\l(-1,-1)(1,1)}}%
115 \uc@dclc{9587}{postscript}{\uc@bd@bx{\l(-1,-1)(1,1)\l(1,-1)(-1,1)}}%
116 \uc@dclc{9588}{postscript}{\uc@bd@bx{\l(-1,0)(0,0)}}%
117 \uc@dclc{9589}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)}}%
118 \uc@dclc{9590}{postscript}{\uc@bd@bx{\l(0,0)(1,0)}}%
119 \uc@dclc{9591}{postscript}{\uc@bd@bx{\l(0,0)(0,1)}}%
120 \uc@dclc{9592}{postscript}{\uc@bd@bx{\b\l(-1,0)(0,0)}}%
121 \uc@dclc{9593}{postscript}{\uc@bd@bx{\b\l(0,0)(0,-1)}}%
122 \uc@dclc{9594}{postscript}{\uc@bd@bx{\b\l(0,0)(1,0)}}%
123 \uc@dclc{9595}{postscript}{\uc@bd@bx{\b\l(0,0)(0,1)}}%
124 \uc@dclc{9596}{postscript}{\uc@bd@bx{\l(-1,0)(0,0)\b\l(0,0)(1,0)}}%
125 \uc@dclc{9597}{postscript}{\uc@bd@bx{\l(0,0)(0,-1)\b\l(0,1)(0,0)}}%
126 \uc@dclc{9598}{postscript}{\uc@bd@bx{\l(0,0)(1,0)\b\l(-1,0)(0,0)}}%
127 \uc@dclc{9599}{postscript}{\uc@bd@bx{\l(0,0)(0,1)\b\l(0,-1)(0,0)}}%
128 \uc@dclc{9601}{postscript}{\uc@bd@bx{\q(-1,1)(1,.75)}}%
129 \uc@dclc{9602}{postscript}{\uc@bd@bx{\q(-1,1)(1,.5)}}%
130 \uc@dclc{9603}{postscript}{\uc@bd@bx{\q(-1,1)(1,.25)}}%
131 \uc@dclc{9604}{postscript}{\uc@bd@bx{\q(-1,1)(1,0)}}%
132 \uc@dclc{9605}{postscript}{\uc@bd@bx{\q(-1,1)(1,-.25)}}%
133 \uc@dclc{9606}{postscript}{\uc@bd@bx{\q(-1,1)(1,-.5)}}%
134 \uc@dclc{9607}{postscript}{\uc@bd@bx{\q(-1,1)(1,-.75)}}%
135 \uc@dclc{9608}{postscript}{\uc@bd@bx{\q(-1,-1)(1,1)}}%
136 \uc@dclc{9609}{postscript}{\uc@bd@bx{\q(-1,-1)(.75,1)}}%
137 \uc@dclc{9610}{postscript}{\uc@bd@bx{\q(-1,-1)(.5,1)}}%
138 \uc@dclc{9611}{postscript}{\uc@bd@bx{\q(-1,-1)(.25,1)}}%
139 \uc@dclc{9612}{postscript}{\uc@bd@bx{\q(-1,-1)(0,1)}}%
140 \uc@dclc{9613}{postscript}{\uc@bd@bx{\q(-1,-1)(-.25,1)}}%
141 \uc@dclc{9614}{postscript}{\uc@bd@bx{\q(-1,-1)(-.5,1)}}%
142 \uc@dclc{9615}{postscript}{\uc@bd@bx{\q(-1,-1)(-.75,1)}}%
143 \uc@dclc{9617}{postscript}{\uc@bd@bx{\q[linecolor=lightgray](-1,-1)(1,1)}}%
144 \uc@dclc{9618}{postscript}{\uc@bd@bx{\q[linecolor=gray](-1,-1)(1,1)}}%
145 \uc@dclc{9619}{postscript}{\uc@bd@bx{\q[linecolor=darkgray](-1,-1)(1,1)}}%
146 \uc@dclc{9632}{postscript}{\ding{"6E}}%
147 \uc@dclc{9633}{default}{\ensuremath\Box}%
148 \uc@dclc{9650}{postscript}{\ding{"73}}%
149 \uc@dclc{9660}{postscript}{\ding{"74}}%
150 \uc@dclc{9670}{postscript}{\ding{"75}}%
151 \uc@dclc{9674}{postscript}{\Pisymbol{psy}{"E0}}%
152 \uc@dclc{9676}{postscript}{\begin{pspicture}(-.7ex,-.5ex)(.7ex,.7ex)\SpecialCoor\degrees[10]\psdots[dotstyle=*,dotsize=.1ex](.5ex;0)(.5ex;1)(.5ex;2)(.5ex;3)(.5ex;4)(.5ex;5)(.5ex;6)(.5ex;7)(.5ex;8)(.5ex;9)\end{pspicture}}%
153 \uc@dclc{9679}{postscript}{\ding{"6C}}%
154 \uc@dclc{9687}{postscript}{\ding{"77}}%
155 %%% Local Variables: 
156 %%% mode: latex
157 %%% coding: utf-8
158 %%% End: