Complex sentence: A "proper suffix" of a string is not equal to the string itself (0\\ leq m); again, a more restricted interpretation is that it is also not empty (0).
Split into simpler sentences: A "proper suffix" of a string is not equal to the string itself. A more restricted interpretation is that it is also not empty (0).