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

The mod operation should have spaces while editing #906

Closed
c3d opened this issue Apr 15, 2024 · 0 comments
Closed

The mod operation should have spaces while editing #906

c3d opened this issue Apr 15, 2024 · 0 comments
Labels
bug Something isn't working done Things that are done on dev
Milestone

Comments

@c3d
Copy link
Owner

c3d commented Apr 15, 2024

When editing 'X mod Y' (as a result of X Y mod), there are no spaces around mod, so that we end up with a name XmodY.

@c3d c3d added the bug Something isn't working label Apr 15, 2024
@c3d c3d added this to the Mathematics milestone Apr 15, 2024
@c3d c3d added the done Things that are done on dev label Apr 15, 2024
c3d added a commit that referenced this issue Apr 15, 2024
Add spaces around `mod` and `rem` during rendering.

Fixes: #906

Signed-off-by: Christophe de Dinechin <christophe@dinechin.org>
@c3d c3d closed this as completed in b404edd May 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working done Things that are done on dev
Projects
None yet
Development

No branches or pull requests

1 participant