4 ms·
I didn't know about math classes, thank you for the reference The issue I have with delimiters is that there is no option for "big", but only for "140%" or wha
by anserin 2y ago
I didn't know about math classes, thank you for the reference
The issue I have with delimiters is that there is no option for "big", but only for "140%" or whatever, making it harder to be consistent
Someone created an issue on this on GitHub if I remember correctly
And automatically chosen sizes are often too large
- laurmaedje 2y agoGood point! lr should support lengths in addition to ratios. Should be easy to add.
- xkevio 2y agoAh, yeah fair enough! I was confused thinking that you were unaware of the existence of the functionality as a whole. Well, as laurmaedje (one of the main devs) said below, it should be easy to add, though it seems difficult to find which size values `big`, `bigg` and so on exactly represent.