Don't insert \right when brace is already matched#3562

Merged

PHPirates merged 4 commits intomasterfrom 3493-left-right

May 27, 2024

+34-9

Commits on May 26, 2024

Don't insert \right when brace is already matched, fixes #3493 for matched brace pairs)
slideclimb
committed

Commits on May 27, 2024