#22 Copying with "Force Unicode" in Output view

[Andrius Velykis]

When using "Force Unicode" option in Output view, we get a nice view even though the specification is in LaTeX. When copying the elements in the goal, and then pasting into LaTeX specification, it should print in LaTeX, instead of in Unicode. A workaround is using e.g. "simplify with" context menu, and then copy, but would be great if the copying would be done automatically.