Allow defining symbols that break out of exp#151
Open
JMSS-Unknown wants to merge 4 commits intodaniel3735928559:masterfrom
Open
Allow defining symbols that break out of exp#151JMSS-Unknown wants to merge 4 commits intodaniel3735928559:masterfrom
JMSS-Unknown wants to merge 4 commits intodaniel3735928559:masterfrom
Conversation
The editor also removed trailing whitespace automatically, which is probably undesired.
Owner
|
It isn't clear to me that exponentials are special in this regard. For example, entering I think what's actually going on is that some nodes/characters should be restricted to being children only of the top-level c node and when they are entered, they should always trigger breaking out of wherever they are back up to the top-level c-node and be placed there. For example, in this PR, if I enter |
Contributor
Author
|
I made it that some symbols like |
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
The given symbols or strings will break out of an exponential. For example, if you type
2^2and then press=, the result will be2^{2}=instead of2^{2=}as beforeThe editor also removed trailing white space automatically, sorry about that.