Formal properties of literal shuffle