Definition of ...   Leisure
A sequence of characters in some suitable character set.
Clean