Closed saulalbert closed 6 years ago
CAlite uses an unmatched less than sign '<' to indicate a 'fast start' when placed before a word.
The ambiguity here is that it also means when it is matched.
A reasonable heuristic would be to convert '<' signs into the unicode symbol '◁' only where:
(U+25C1 : WHITE LEFT-POINTING TRIANGLE {z notation domain restriction})
So
hello ◁how are you .
becomes
hello <how are you
CAlite uses an unmatched less than sign '<' to indicate a 'fast start' when placed before a word.
The ambiguity here is that it also means when it is matched.
A reasonable heuristic would be to convert '<' signs into the unicode symbol '◁' only where:
(U+25C1 : WHITE LEFT-POINTING TRIANGLE {z notation domain restriction})
So
hello ◁how are you .
becomes
hello <how are you