blob: c2119458107917d7c54cd40f9aabec56a9c53860 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
[replacements]
# Arrows from the Arrows block of Unicode.
# -> right arrow
(?<!\\)->=->
\\->=->
# => right double arrow
(?<!\\)\=>==>
\\\=>==>
# <- left arrow
(?<!\\)<-=<-
\\<-=<-
# <= left double arrow
(?<!\\)<\==<=
\\<\==<=
|