1
2
3
4
5
6
7
8
9
10
11
12
13
14\unprotect
15
16
17
18
19
20
21
22\definesymbol [\v!none] []
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39 \definesymbol [bullet] [\textormathchar{"2022}]
40 \definesymbol [dash] [\textormathchar{"2013}]
41 \definesymbol [star] [\textormathchar{"22C6}]
42 \definesymbol [triangle] [\textormathchar{"22B3}]
43 \definesymbol [circle] [\textormathchar{"2218}]
44 \definesymbol [square] [\textormathchar{"25A1}]
45 \definesymbol [diamond] [\textormathchar{"22C4}]
46 \definesymbol [checkmark] [\textormathchar{"2713}]
47 \definesymbol [asterisk] [\textormathchar{"2217}]
48
49 \definesymbol [blacktriangle] [\textormathchar{"25B6}]
50 \definesymbol [blacksquare] [\textormathchar{"25A0}]
51 \definesymbol [blackdiamond] [\textormathchar{"25C6}]
52
53
54
55\definesymbol [smallcircle] [\hbox{\raise.1ex\hbox{\textmath{\scriptscriptstyle\bigcirc}}}]
56\definesymbol [medcircle] [\hbox{\raise.1ex\hbox{\textmath{\scriptstyle \bigcirc}}}]
57\definesymbol [bigcircle] [\textmath{\bigcirc}]
58
59\definesymbol [1] [\symbol{bullet}]
60\definesymbol [2] [\symbol{dash}]
61\definesymbol [3] [\symbol{star}]
62\definesymbol [4] [\symbol{triangle}]
63\definesymbol [5] [\symbol{circle}]
64\definesymbol [6] [\symbol{medcircle}]
65\definesymbol [7] [\symbol{bigcircle}]
66\definesymbol [8] [\symbol{square}]
67\definesymbol [9] [\symbol{checkmark}]
68
69\definesymbol [S] [\sectionmark]
70\definesymbol [P] [\paragraphmark]
71\definesymbol [Numero] [\textnumero]
72\definesymbol [numero] [\textnumero]
73\definesymbol [euro] [\texteuro]
74
75\aliased\let\euro\texteuro
76
77\permanent\protected\def\Numero{\symbol[Numero]}
78\permanent\protected\def\numero{\symbol[numero]}
79
80\protect \endinput
81 |