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.

Sign up for GitHub

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

Jump to bottom

\logop should use small caps, and bare ALLCAPS operations should be changed to use \logops #5734

Closed

tkoeppe opened this issue Aug 17, 2022 · 0 comments · Fixed by #5804

Assignees

Contributor

tkoeppe commented Aug 17, 2022

No description provided.

jensmaurer mentioned this issue

Fix and use \logop #5804

Merged

jensmaurer self-assigned this

tkoeppe closed this as completed in #5804

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