feat: Add \strictif and \strictfi symbols
#3588
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
|
We can't add symbols to KaTeX (correctly) without adding them to the fonts and metrics. In the console, you'll see a warning that the character metrics aren't defined, and the symbol you're seeing is rendered from an arbitrary system font instead of a KaTeX font. #3525 isn't relevant because MathJax doesn't have this symbol. What LaTeX package does? Presumably it's not in the standard Computer Modern fonts, which means you'd need to modify the font extraction code in |
Author
|
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What is the previous behavior before this PR?
There's no symbols for
/strictif(⥽) and/strictfi(⥼) for strict implicationWhat is the new behavior after this PR?
Added them.
ps. some of the links in CONTRIBUTING.md were dead (#3525), and I didn't find correct way to contribute (adding symbols), so I referenced #2283 . Please let me know if there are any problems.