- convert utf-8 to TeXmacs scheme Cork encoding

- convert +-> to <mapsto>
- implement 'SC output format for displaying indented code