1
2
3
4
5
6
7
8
9
10
11
12
13
14passvariable ( " fontname " , " bidi-symbols " ) ;
15passvariable ( " fontversion " , " 1.009 " ) ;
16
17numeric font_bidi_dp ; font_bidi_dp : = -6 ;
18numeric font_bidi_wd ; font_bidi_wd : = -12 ;
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55beginfont ( " bidi-symbols " ) ;
56
57beginglyph ( 8234 , 0 , 0 , 0 ) ;
58 drawarrow ( 0 , 0 ) -- ( 0 , font_bidi_dp ) -- ( font_bidi_wd , font_bidi_dp ) withcolor red ;
59endglyph ;
60
61beginglyph ( 8235 , 0 , 0 , 0 ) ;
62 drawarrow ( 0 , 0 ) -- ( 0 , font_bidi_dp ) -- ( font_bidi_wd , font_bidi_dp ) withcolor green ;
63endglyph ;
64
65beginglyph ( 8236 , 0 , 0 , 0 ) ;
66 draw ( 0 , 0 ) -- ( 0 , font_bidi_dp ) -- ( font_bidi_wd 2 , font_bidi_dp ) -- ( font_bidi_wd 2 , font_bidi_dp ) withcolor blue ;
67endglyph ;
68
69beginglyph ( 8237 , 0 , 0 , 0 ) ;
70 drawarrow reverse ( ( 0 , 0 ) -- ( 0 , font_bidi_dp ) -- ( font_bidi_wd , font_bidi_dp ) ) withcolor red ;
71endglyph ;
72
73beginglyph ( 8238 , 0 , 0 , 0 ) ;
74 drawarrow reverse ( ( 0 , 0 ) -- ( 0 , font_bidi_dp ) -- ( font_bidi_wd , font_bidi_dp ) ) withcolor green ;
75endglyph ;
76
77endfont ;
78 |