Get rid of LaTeX space delimiters
Opened this issue · 4 comments
Extract and remove all space delimiters such as
\hspace{10cm}
\\
\\[0.2cm].
\;
"\ "
\,
There will be more.
I would not remove them. I think it would be better to just classify them as a different token class. The information is important for rendering and also for parsing. consider \frac\ 2a would be change the meaning from anything dived by 2 times a to 2 divided by a
We do not want the spacing delimiters in DRMF.
I do not understand how classifying them as a different token class helps.
The \frac\ 2 will never be encountered in DRMF.
Can you think of another example which might appear in the DRMF?
Maybe I don't understand why one would like to get rid ofallspacesthatwillmakethingsquitehardtoread. For replacement task I don't see why this should be neccary. Spaces can just be ignored.
I have not looked at this issue, due to it being labelled as "long term", and I investigated the other issues first.