-
Notifications
You must be signed in to change notification settings - Fork 0
/
FrakReplacement.sed
78 lines (77 loc) · 2.27 KB
/
FrakReplacement.sed
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
# Copyright 2006-2010 Mesar Hameed, Emma Cliffe
#
# This file is part of LaTeXLex.
#
# LaTeXLex is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# LaTeXLex is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with LaTeXLex. If not, see <http://www.gnu.org/licenses/>.
#
#
# The list of codes that you need is in the table but see note:
# http://www.w3.org/TR/MathML2/fraktur.html
# The symbols were added at different times, those which start
# with a 0 display, to view those that start with 1 you will
# require a suitable font. A font is available from
# http://www.stixfonts.org/
#
s/\\frakA/𝔄/g #1D504
s/\\frakB/𝔅/g #1D505
s/\\frakC/ℭ/g #0212D
s/\\frakD/𝔇/g #1D507
s/\\frakE/𝔈/g #1D508
s/\\frakF/𝔉/g #1D509
s/\\frakG/𝔊/g #1D50A
s/\\frakH/ℌ/g #0210C
s/\\frakI/ℑ/g #02111
s/\\frakJ/𝔍/g #1D50D
s/\\frakK/𝔎/g #1D50E
s/\\frakL/𝔏/g #1D50F
s/\\frakM/𝔐/g #1D510
s/\\frakN/𝔑/g #1D511
s/\\frakO/𝔒/g #1D512
s/\\frakP/𝔓/g #1D513
s/\\frakQ/𝔔/g #1D514
s/\\frakR/ℜ/g #0211C
s/\\frakS/𝔖/g #1D516
s/\\frakT/𝔗/g #1D517
s/\\frakU/𝔘/g #1D518
s/\\frakV/𝔙/g #1D519
s/\\frakW/𝔚/g #1D51A
s/\\frakX/𝔛/g #1D51B
s/\\frakY/𝔜/g #1D51C
s/\\frakZ/ℨ/g #02128
s/\\fraka/𝔞/g #1D51E
s/\\frakb/𝔟/g #1D51F
s/\\frakc/𝔠/g #1D520
s/\\frakd/𝔡/g #1D521
s/\\frake/𝔢/g #1D522
s/\\frakf/𝔣/g #1D523
s/\\frakg/𝔤/g #1D524
s/\\frakh/𝔥/g #1D525
s/\\fraki/𝔦/g #1D526
s/\\frakj/𝔧/g #1D527
s/\\frakk/𝔨/g #1D528
s/\\frakl/𝔩/g #1D529
s/\\frakm/𝔪/g #1D52A
s/\\frakn/𝔫/g #1D52B
s/\\frako/𝔬/g #1D52C
s/\\frakp/𝔭/g #1D52D
s/\\frakq/𝔮/g #1D52E
s/\\frakr/𝔯/g #1D52F
s/\\fraks/𝔰/g #1D530
s/\\frakt/𝔱/g #1D531
s/\\fraku/𝔲/g #1D532
s/\\frakv/𝔳/g #1D533
s/\\frakw/𝔴/g #1D534
s/\\frakx/𝔵/g #1D535
s/\\fraky/𝔶/g #1D536
s/\\frakz/𝔷/g #1D537