Extensible delimiters (\left and \right)

Full brace list we need to support:

• \left. \right. (empty delimiter)
• \left( \right)
• \left[ \right]
• \left\{ \right\}
• \left< \right>
• \left| \right|

Plan

• take a look at Java implementation — at least JLatexMath seems to support those delimiters ~ F
• implement delimiters as a resizable characters (i.e. don’t split them into top / top-middle / etc. parts yet)
• add full support with splitting the characters into parts — it suddenly turned out that we already have those

[alexreg]

This is definitely a feature that should be prioritised. I’m not sure if the Java library I ported from handled this at all (actually there were two Java libraries; one for plain TeX and one for LaTeX), but it’s worth a check. If not, having a look at the LaTeX source code may be informative.

[alexreg]

Good spot. That was definitely the problem.