perfectcut
Delimiters whose size adjusts to the nesting
The author is Guillaume Munch-Maccagnoni.
License: lppl1.3 Version: 2.2, dated: 2017-04-22 Catalogued: 2017-05-03