HomeManualTopicsTypesSymbols
the arguments are converted into a single string; a newline character is added if not already supplied by the caller
None