1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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
|
% Encoding: ASCII
@symbol{alpha,
name={$\alpha$},
text={\alpha},
category={mathsymbol},
description={Greek letter alpha}
}
@symbol{beta,
name={$\beta$},
text={\beta},
category={mathsymbol},
description={Greek letter beta}
}
@symbol{gamma,
name={$\gamma$},
text={\gamma},
category={mathsymbol},
description={Greek letter gamma}
}
@symbol{sum,
name={$\sum$},
text={\sum},
category={mathsymbol},
description={summation}
}
@symbol{partial,
name={$\partial$},
text={\partial},
category={mathsymbol},
description={partial derivative}
}
@symbol{spinderiv,
name={$\eth$},
text={\eth},
category={mathsymbol},
description={spin-weighted partial derivative}
}
|