- convert utf-8 to TeXmacs scheme Cork encoding
- convert +-> to <mapsto>
- implement 'SC output format for displaying indented code