I recently spotted a representation issue in guppy editor. When you import expressions from plain text, semantic latex, or JSON AST all results in auto-hiding of the multiplication dot between numbers. For example, the string import 3*10^8 produces a look of 310^8 in guppy when the import type is set to plain text or semantic latex. JSON AST also doesn't work because 3*10^8 generates ["*",[["val",[3]],["exponential",[["val",[10]],["val",[8]]]]]] and when I reimport this result back to guppy, the multiplication sign is again hidden. The only workaround now is to use XML as it does preserve the multiplication sign. I'd appreciate it if the multiplication sign is back :)