Skip to content
Discussion options

You must be logged in to vote

Changed that now (commit f570baf). But I don't know, what's "correct" (TeX uses the sign without the vertical line at the end), maybe some people will complain now, that that small vertical line is missing now...
Best regards, Wolfgang

Replies: 2 comments

Comment options

You must be logged in to vote
0 replies
Answer selected by Donatien-Alphonse
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants