Free monoid with involution