Summary
- merged
- discontinued raw symbols; discontinued Symbol.source; use initial Symbol.explode;
- raw control symbols are superseded by Latex.embed_raw;
- \<^raw> output is intended for LaTeX;
- more general mixfix delimiters;
- more tight implementation of symbol explode operation (without support for raw symbols);