Skip to content

Commit a6ddeaa

Browse files
authored
feat: abbeviations for macrons (ā, ō, etc.) (#633)
I'm Miyahara K**ō**, so it takes a time to type my name.
1 parent 912ca19 commit a6ddeaa

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

lean4-unicode-input/src/abbreviations.json

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,52 +108,62 @@
108108
"^{A}": "Â",
109109
"~A": "Ã",
110110
"\"A": "Ä",
111+
"-{A}": "Ā",
111112
"cC": "Ç",
112113
"`E": "È",
113114
"'E": "É",
114115
"^{E}": "Ê",
115116
"\"E": "Ë",
117+
"-{E}": "Ē",
116118
"`I": "Ì",
117119
"'I": "Í",
118120
"^{I}": "Î",
119121
"\"I": "Ï",
122+
"-{I}": "Ī",
120123
"~N": "Ñ",
121124
"`O": "Ò",
122125
"'O": "Ó",
123126
"^{O}": "Ô",
124127
"~O": "Õ",
125128
"\"O": "Ö",
126129
"/O": "Ø",
130+
"-{O}": "Ō",
127131
"`U": "Ù",
128132
"'U": "Ú",
129133
"^{U}": "Û",
130134
"\"U": "Ü",
135+
"-{U}": "Ū",
131136
"'Y": "Ý",
132137
"`a": "à",
133138
"'a": "á",
134139
"^{a}": "â",
135140
"~a": "ã",
136141
"\"a": "ä",
142+
"-{a}": "ā",
137143
"cc": "ç",
138144
"`e": "è",
139145
"'e": "é",
140146
"^{e}": "ê",
141147
"\"e": "ë",
148+
"-{e}": "ē",
142149
"`i": "ì",
143150
"'i": "í",
144151
"^{i}": "î",
145152
"\"i": "ï",
153+
"-{i}": "ī",
146154
"~{n}": "ñ",
147155
"`o": "ò",
148156
"'o": "ó",
149157
"^{o}": "ô",
150158
"~o": "õ",
151159
"\"o": "ö",
152160
"/o": "ø",
161+
"-{o}": "ō",
153162
"`u": "ù",
154163
"'u": "ú",
155164
"^{u}": "û",
156165
"\"u": "ü",
166+
"-{u}": "ū",
157167
"'y": "ý",
158168
"\"y": "ÿ",
159169
"/L": "Ł",

0 commit comments

Comments
 (0)