Terms built with unary symbols and constants can be considered as strings.
جملات ساخته شده با نمادهای ثابت و یکتا می‌توانند به عنوان یک رشته درنظر گرفته شوند.