Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Get rid of LaTeX space delimiters #11

Open
HowardCohl opened this issue Jul 15, 2015 · 4 comments
Open

Get rid of LaTeX space delimiters #11

HowardCohl opened this issue Jul 15, 2015 · 4 comments
Milestone

Comments

@HowardCohl
Copy link
Member

Extract and remove all space delimiters such as

\hspace{10cm}
\\
\\[0.2cm].
\;
"\ "
\,

There will be more.

@physikerwelt
Copy link
Member

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

@HowardCohl
Copy link
Member Author

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?

@physikerwelt
Copy link
Member

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.

@poortho
Copy link

poortho commented Aug 14, 2015

I have not looked at this issue, due to it being labelled as "long term", and I investigated the other issues first.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants