Category:Concatenation (Formal Systems)