diff options
author | Mattias Andrée <maandree@operamail.com> | 2014-11-23 09:46:24 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@operamail.com> | 2014-11-23 09:57:58 +0100 |
commit | aa72a0885f95ef8800e4ebf761001d00a56cb3b7 (patch) | |
tree | 93f1c423162274872d6fd5d79cdabde50cfe4c84 /doc/info/mds.texinfo | |
parent | some code simplificiations (diff) | |
download | mds-aa72a0885f95ef8800e4ebf761001d00a56cb3b7.tar.gz mds-aa72a0885f95ef8800e4ebf761001d00a56cb3b7.tar.bz2 mds-aa72a0885f95ef8800e4ebf761001d00a56cb3b7.tar.xz |
how alternations and unordered subsequences are expanded
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'doc/info/mds.texinfo')
-rw-r--r-- | doc/info/mds.texinfo | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index 9fa7a8b..c6b7f0b 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -5415,6 +5415,15 @@ you can write <dead compose> "|" ["|" .] "S" : "$" @end example +It is undefined in which order alternations +and unordered subsequences are expanded; +neither sequencewise or levelwise. +Thus, there should not side-effects where +either one is used, nor does it make since +to nest the two constructs in any other +way than alternation inside unordered +subsequence. + @node Keyboard Layout Identification |