diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-02-16 10:03:29 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-16 10:03:29 +0100 |
commit | b40c790544eeaedc0504688be43f335afff8644d (patch) | |
tree | 5d2ed9741da3729dd72500cc62d790f486c550d0 | |
parent | 0d799c9bfebe578888be24149afba540ee008313 (diff) | |
download | arabluatex-b40c790544eeaedc0504688be43f335afff8644d.tar.gz |
added the 'zero-width joiner' (U+200D) in arabtex input scheme, encoded as '&'
-rw-r--r-- | arabluatex_voc.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arabluatex_voc.lua b/arabluatex_voc.lua index 995e9b3..571b8e8 100644 --- a/arabluatex_voc.lua +++ b/arabluatex_voc.lua | |||
@@ -899,6 +899,7 @@ punctuation = { | |||
899 | } | 899 | } |
900 | 900 | ||
901 | null = { | 901 | null = { |
902 | {a="%&", b=""}, -- That is ^^^^200d, the zero-width joiner | ||
902 | {a="%|", b=""}, | 903 | {a="%|", b=""}, |
903 | {a="^%-", b=""}, | 904 | {a="^%-", b=""}, |
904 | {a="([^0-9])(%-)", b="%1"}, | 905 | {a="([^0-9])(%-)", b="%1"}, |