src/frontends/qt2/bulletstrings.C

   1 #include "bulletstrings.h"
   2
   3 char const * bullets_standard[36] = {
   4                 /* standard */
   5                 "\\normalfont\\bfseries{--}", "\\(\\vdash\\)",
   6                 "\\(\\dashv\\)", "\\(\\flat\\)", "\\(\\natural\\)",
   7                 "\\(\\sharp\\)", "\\(\\ast\\)", "\\(\\star\\)",
   8                 "\\(\\bullet\\)", "\\(\\circ\\)", "\\(\\cdot\\)",
   9                 "\\(\\dagger\\)", "\\(\\bigtriangleup\\)",
  10                 "\\(\\bigtriangledown\\)", "\\(\\triangleleft\\)",
  11                 "\\(\\triangleright\\)", "\\(\\lhd\\)", "\\(\\rhd\\)",
  12                 "\\(\\oplus\\)", "\\(\\ominus\\)", "\\(\\otimes\\)",
  13                 "\\(\\oslash\\)", "\\(\\odot\\)", "\\(\\spadesuit\\)",
  14                 "\\(\\diamond\\)", "\\(\\Diamond\\)", "\\(\\Box\\)",
  15                 "\\(\\diamondsuit\\)", "\\(\\heartsuit\\)",
  16                 "\\(\\clubsuit\\)", "\\(\\rightarrow\\)", "\\(\\leadsto\\)",
  17                 "\\(\\rightharpoonup\\)", "\\(\\rightharpoondown\\)",
  18                 "\\(\\Rightarrow\\)", "\\(\\succ\\)"
  19         };
  20 char const * bullets_amssymb[36] = {
  21                 /* amssymb */
  22                 "\\(\\Rrightarrow\\)", "\\(\\rightarrowtail\\)",
  23                 "\\(\\twoheadrightarrow\\)", "\\(\\rightsquigarrow\\)",
  24                 "\\(\\looparrowright\\)", "\\(\\multimap\\)",
  25                 "\\(\\boxtimes\\)", "\\(\\boxplus\\)", "\\(\\boxminus\\)",
  26                 "\\(\\boxdot\\)", "\\(\\divideontimes\\)", "\\(\\Vvdash\\)",
  27                 "\\(\\lessdot\\)", "\\(\\gtrdot\\)", "\\(\\maltese\\)",
  28                 "\\(\\bigstar\\)", "\\(\\checkmark\\)", "\\(\\Vdash\\)",
  29                 "\\(\\backsim\\)", "\\(\\thicksim\\)",
  30                 "\\(\\centerdot\\)", "\\(\\circleddash\\)",
  31                 "\\(\\circledast\\)", "\\(\\circledcirc\\)",
  32                 "\\(\\vartriangleleft\\)", "\\(\\vartriangleright\\)",
  33                 "\\(\\vartriangle\\)", "\\(\\triangledown\\)",
  34                 "\\(\\lozenge\\)", "\\(\\square\\)", "\\(\\blacktriangleleft\\)",
  35                 "\\(\\blacktriangleright\\)", "\\(\\blacktriangle\\)",
  36                 "\\(\\blacktriangledown\\)", "\\(\\blacklozenge\\)",
  37                 "\\(\\blacksquare\\)"
  38         };
  39 char const * bullets_psnfss1[36] = {
  40                 /* psnfss1 */
  41                 "\\ding{108}", "\\ding{109}",
  42                 "\\ding{119}", "\\Pisymbol{psy}{197}",
  43                 "\\Pisymbol{psy}{196}", "\\Pisymbol{psy}{183}",
  44                 "\\ding{71}", "\\ding{70}",
  45                 "\\ding{118}", "\\ding{117}",
  46                 "\\Pisymbol{psy}{224}", "\\Pisymbol{psy}{215}",
  47                 "\\ding{111}", "\\ding{112}",
  48                 "\\ding{113}", "\\ding{114}",
  49                 "\\Pisymbol{psy}{68}", "\\Pisymbol{psy}{209}",
  50                 "\\ding{120}", "\\ding{121}",
  51                 "\\ding{122}", "\\ding{110}",
  52                 "\\ding{115}", "\\ding{116}",
  53                 "\\Pisymbol{psy}{42}", "\\ding{67}",
  54                 "\\ding{66}", "\\ding{82}",
  55                 "\\ding{81}", "\\ding{228}",
  56                 "\\ding{162}", "\\ding{163}",
  57                 "\\ding{166}", "\\ding{167}",
  58                 "\\ding{226}", "\\ding{227}"
  59         };
  60 char const * bullets_psnfss2[36] = {
  61                 /* psnfss2 */
  62                 "\\ding{37}", "\\ding{38}",
  63                 "\\ding{34}", "\\ding{36}",
  64                 "\\ding{39}", "\\ding{40}",
  65                 "\\ding{41}", "\\ding{42}",
  66                 "\\ding{43}", "\\ding{44}",
  67                 "\\ding{45}", "\\ding{47}",
  68                 "\\ding{53}", "\\ding{54}",
  69                 "\\ding{59}", "\\ding{57}",
  70                 "\\ding{62}", "\\ding{61}",
  71                 "\\ding{55}", "\\ding{56}",
  72                 "\\ding{58}", "\\ding{60}",
  73                 "\\ding{63}", "\\ding{64}",
  74                 "\\ding{51}", "\\ding{52}",
  75                 "\\Pisymbol{psy}{170}", "\\Pisymbol{psy}{167}",
  76                 "\\Pisymbol{psy}{168}", "\\Pisymbol{psy}{169}",
  77                 "\\ding{164}", "\\ding{165}",
  78                 "\\ding{171}", "\\ding{168}",
  79                 "\\ding{169}", "\\ding{170}"
  80         };
  81 char const * bullets_psnfss3[36] = {
  82                 /* psnfss3 */
  83                 "\\ding{65}", "\\ding{76}",
  84                 "\\ding{75}", "\\ding{72}",
  85                 "\\ding{80}", "\\ding{74}",
  86                 "\\ding{78}", "\\ding{77}",
  87                 "\\ding{79}", "\\ding{85}",
  88                 "\\ding{90}", "\\ding{98}",
  89                 "\\ding{83}", "\\ding{84}",
  90                 "\\ding{86}", "\\ding{87}",
  91                 "\\ding{88}", "\\ding{89}",
  92                 "\\ding{92}", "\\ding{91}",
  93                 "\\ding{93}", "\\ding{105}",
  94                 "\\ding{94}", "\\ding{99}",
  95                 "\\ding{103}", "\\ding{104}",
  96                 "\\ding{106}", "\\ding{107}",
  97                 "\\ding{68}", "\\ding{69}",
  98                 "\\ding{100}", "\\ding{101}",
  99                 "\\ding{102}", "\\ding{96}",
 100                 "\\ding{95}", "\\ding{97}"
 101         };
 102 char const * bullets_psnfss4[36] = {
 103                 /* psnfss4 */
 104                 "\\ding{223}", "\\ding{224}",
 105                 "\\ding{225}", "\\ding{232}",
 106                 "\\ding{229}", "\\ding{230}",
 107                 "\\ding{238}", "\\ding{237}",
 108                 "\\ding{236}", "\\ding{235}",
 109                 "\\ding{234}", "\\ding{233}",
 110                 "\\ding{239}", "\\ding{241}",
 111                 "\\ding{250}", "\\ding{251}",
 112                 "\\ding{49}", "\\ding{50}",
 113                 "\\ding{217}", "\\ding{245}",
 114                 "\\ding{243}", "\\ding{248}",
 115                 "\\ding{252}", "\\ding{253}",
 116                 "\\ding{219}", "\\ding{213}",
 117                 "\\ding{221}", "\\ding{222}",
 118                 "\\ding{220}", "\\ding{212}",
 119                 "\\Pisymbol{psy}{174}", "\\Pisymbol{psy}{222}",
 120                 "\\ding{254}", "\\ding{242}",
 121                 "\\ding{231}", "\\Pisymbol{psy}{45}"
 122         };
 123 char const ** BulletPanels[6] = {
 124                 bullets_standard, bullets_amssymb,
 125                 bullets_psnfss1, bullets_psnfss2,
 126                 bullets_psnfss3, bullets_psnfss4
 127 };