2022-02-07 10:27:28 +13:00
|
|
|
### Logical conjunction/disjunction #738
|
2020-05-13 11:42:49 +12:00
|
|
|
|
|
|
|
lookup slash_backslash {
|
|
|
|
ignore sub @NotSpace slash' backslash;
|
|
|
|
ignore sub slash' backslash @NotSpace;
|
|
|
|
sub slash.spacer backslash' by slash_backslash.liga;
|
|
|
|
sub slash' backslash by slash.spacer;
|
|
|
|
} slash_backslash;
|
|
|
|
|
|
|
|
lookup backslash_slash {
|
|
|
|
ignore sub @NotSpace backslash' slash;
|
|
|
|
ignore sub backslash' slash @NotSpace;
|
|
|
|
sub backslash.spacer slash' by backslash_slash.liga;
|
|
|
|
sub backslash' slash by backslash.spacer;
|
|
|
|
} backslash_slash;
|