405c3e9c36
The org-reader was droping space after unescaped LaTeX-style symbol commands: `\ForAll \Auml` resulted in `∀Ä` but should give `∀ Ä` instead. This seems to be because the LaTeX-reader treats the command-terminating space as part of the command. Dropping the trailing space from the symbol-command fixes this issue. |
||
|---|---|---|
| .. | ||
| Readers | ||
| Writers | ||
| Arbitrary.hs | ||
| Helpers.hs | ||
| Old.hs | ||
| Shared.hs | ||
| Walk.hs | ||