2020-05-15 04:51:54 +03:00
|
|
|
### Arbitrary-length arrows #346
|
|
|
|
|
|
|
|
lookup hyphen_arrows {
|
|
|
|
# Disable |||
|
|
|
|
ignore sub bar bar' bar hyphen;
|
|
|
|
ignore sub bar bar' hyphen;
|
2020-05-15 17:16:30 +03:00
|
|
|
ignore sub [hyphen_start.seq hyphen_middle.seq] bar' bar bar;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# hyphen middle & end
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [less_hyphen_start.seq less_less_hyphen_start.seq less_hyphen_middle.seq less_less_hyphen_middle.seq greater_hyphen_start.seq greater_greater_hyphen_start.seq greater_hyphen_middle.seq greater_greater_hyphen_middle.seq bar_hyphen_start.seq bar_bar_hyphen_start.seq bar_hyphen_middle.seq bar_bar_hyphen_middle.seq hyphen_start.seq hyphen_middle.seq] hyphen' [hyphen less greater bar] by hyphen_middle.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [less_hyphen_start.seq less_less_hyphen_start.seq less_hyphen_middle.seq less_less_hyphen_middle.seq greater_hyphen_start.seq greater_greater_hyphen_start.seq greater_hyphen_middle.seq greater_greater_hyphen_middle.seq bar_hyphen_start.seq bar_bar_hyphen_start.seq bar_hyphen_middle.seq bar_bar_hyphen_middle.seq hyphen_start.seq hyphen_middle.seq] hyphen' by hyphen_end.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# double middles
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less.spacer less' hyphen by less_less_hyphen_middle.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less' less hyphen by less.spacer;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater.spacer greater' hyphen by greater_greater_hyphen_middle.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater' greater hyphen by greater.spacer;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar.spacer bar' hyphen by bar_bar_hyphen_middle.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar' bar hyphen by bar.spacer;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# single middles
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less' hyphen by less_hyphen_middle.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater' hyphen by greater_hyphen_middle.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar' hyphen by bar_hyphen_middle.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# double ends
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less.spacer less' by less_less_hyphen_end.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less' less by less.spacer;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater.spacer greater' by greater_greater_hyphen_end.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater' greater by greater.spacer;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar.spacer bar' by bar_bar_hyphen_end.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar' bar by bar.spacer;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# single ends
|
2020-05-15 17:16:30 +03:00
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] less' by less_hyphen_end.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] greater' by greater_hyphen_end.seq;
|
|
|
|
sub [hyphen_start.seq hyphen_middle.seq] bar' by bar_hyphen_end.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
|
|
|
|
# double beginnings
|
2020-05-15 17:16:30 +03:00
|
|
|
sub less.spacer less' hyphen by less_less_hyphen_start.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
sub less' less hyphen by less.spacer;
|
2020-05-15 17:16:30 +03:00
|
|
|
sub greater.spacer greater' hyphen by greater_greater_hyphen_start.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
sub greater' greater hyphen by greater.spacer;
|
2020-05-15 17:16:30 +03:00
|
|
|
sub bar.spacer bar' hyphen by bar_bar_hyphen_start.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
sub bar' bar hyphen by bar.spacer;
|
|
|
|
|
|
|
|
# single beginnings
|
2020-05-15 17:16:30 +03:00
|
|
|
sub less' hyphen by less_hyphen_start.seq;
|
|
|
|
sub greater' hyphen by greater_hyphen_start.seq;
|
|
|
|
sub bar' hyphen by bar_hyphen_start.seq;
|
|
|
|
sub hyphen' [hyphen less greater bar] by hyphen_start.seq;
|
2020-05-15 04:51:54 +03:00
|
|
|
} hyphen_arrows;
|