Skip to content

Commit 26de5b8

Browse files
committed
Add letters with dots under them
These are the "Formal" lettters.
1 parent abf1edc commit 26de5b8

File tree

2 files changed

+87
-3
lines changed

2 files changed

+87
-3
lines changed

mathicsscript/__main__.py

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,15 @@
2525

2626
from mathicsscript.version import __version__
2727

28-
wl_replace_dict = {"": "→", "": "↔"}
28+
wl_replace_dict = {
29+
"": "Ạ",
30+
"": "ạ",
31+
"": "Ḅ",
32+
"": "ḅ",
33+
# ...
34+
"": "→",
35+
"": "↔",
36+
}
2937
wl_replace_dict_esc = dict((re.escape(k), v) for k, v in wl_replace_dict.items())
3038
wl_replace_pattern = re.compile("|".join(wl_replace_dict_esc.keys()))
3139

mathicsscript/inputrc

Lines changed: 78 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# GNU Readline input translations
22

3-
# Lowercase TeX Greek symbols
3+
# Lowercase TeX Greek characters
44
"\e\\alpha\e": "α"
55
"\e\\beta\e": "β"
66
"\e\\gamma\e": "γ"
@@ -27,7 +27,7 @@
2727
"\e\\psi\e": "ψ"
2828
"\e\\omega\e": "ω"
2929

30-
# Lowercase named characters
30+
# Lowercase named Greek characters
3131
"\ea\e": "α"
3232
"\eb\e": "β"
3333
"\eg\e": "γ"
@@ -67,6 +67,82 @@
6767
"\e\\Omega\e": "Ω"
6868

6969
# Things we have Unicode symbols for
70+
"\e.a\e": ""
71+
"\e$a\e": ""
72+
"\e.A\e": ""
73+
"\e$A\e": ""
74+
"\e.B\e": ""
75+
"\e$B\e": ""
76+
"\e.b\e": ""
77+
"\e$b\e": ""
78+
"\e.D\e": ""
79+
"\e$D\e": ""
80+
"\e.d\e": ""
81+
"\e$d\e": ""
82+
"\e.E\e": ""
83+
"\e$E\e": ""
84+
"\e.e\e": ""
85+
"\e$e\e": ""
86+
"\e.H\e": ""
87+
"\e$H\e": ""
88+
"\e.h\e": ""
89+
"\e$h\e": ""
90+
"\e.I\e": ""
91+
"\e$I\e": ""
92+
"\e.i\e": ""
93+
"\e$i\e": ""
94+
"\e.K\e": ""
95+
"\e$K\e": ""
96+
"\e.k\e": ""
97+
"\e$k\e": ""
98+
"\e.L\e": ""
99+
"\e$L\e": ""
100+
"\e.l\e": ""
101+
"\e$l\e": ""
102+
"\e.M\e": ""
103+
"\e$M\e": ""
104+
"\e.m\e": ""
105+
"\e$m\e": ""
106+
"\e.N\e": ""
107+
"\e$N\e": ""
108+
"\e.n\e": ""
109+
"\e$n\e": ""
110+
"\e.O\e": ""
111+
"\e$O\e": ""
112+
"\e.o\e": ""
113+
"\e$o\e": ""
114+
"\e.R\e": ""
115+
"\e$R\e": ""
116+
"\e.r\e": ""
117+
"\e$r\e": ""
118+
"\e.S\e": ""
119+
"\e$S\e": ""
120+
"\e.s\e": ""
121+
"\e$s\e": ""
122+
"\e.T\e": ""
123+
"\e$T\e": ""
124+
"\e.t\e": ""
125+
"\e$t\e": ""
126+
"\e.U\e": ""
127+
"\e$U\e": ""
128+
"\e.u\e": ""
129+
"\e$u\e": ""
130+
"\e$V\e": ""
131+
"\e.V\e": ""
132+
"\e.v\e": "ṿ"
133+
"\e$v\e": "ṿ"
134+
"\e.W\e": ""
135+
"\e$W\e": ""
136+
"\e.w\e": ""
137+
"\e$w\e": ""
138+
"\e.Y\e": ""
139+
"\e$Y\e": ""
140+
"\e.y\e": ""
141+
"\e$y\e": ""
142+
"\e.Z\e": ""
143+
"\e$Z\e": ""
144+
"\e.Z\e": ""
145+
"\e$Z\e": ""
70146
"\einf\e": ""
71147
"\edeg\e": "°"
72148
"\e&&\e": ""

0 commit comments

Comments
 (0)