src/frontends/qt2/bulletstrings.C

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