HomeManualTopicsTypesSymbols
returns *true* if the second argument is a prefix of the first argument
None