S = "",  % assignment

( if S = "" then ... else ... ),  % checking if a string is empty

( if not S = "" then ... else ... ),  % checking if a string is not empty