This PR finds a nice in-between size for left & right triangles (\triangleleft,\triangleright), U+22B2, U+22B3, that are smaller than U+25B3, U+25BD (\bigtriangleup,\bigtriangledown), as they should be, but still larger than mathabx's \smalltriangleup, \smalltriangledown, \smalltriangleleft, \smalltriangleright) U+25B5,U+25Bf, U+25C3,U+25B9, as the seemingly also should be.
This PR finds a nice in-between size for left & right triangles (
\triangleleft,\triangleright
), U+22B2, U+22B3, that are smaller than U+25B3, U+25BD (\bigtriangleup,\bigtriangledown
), as they should be, but still larger thanmathabx
's\smalltriangleup, \smalltriangledown, \smalltriangleleft, \smalltriangleright
) U+25B5,U+25Bf, U+25C3,U+25B9, as the seemingly also should be.If acceptable, this is an alternative to #2362
closes #2362