We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
c17e6d9
In Proof Mode, one double cut insertion can no longer allow existing atoms to be in between the two cuts