# (number sign, pound sign, hashtag)
Comment
End-of-line comment, may be used like //
Used primarily for #! at the beginning of a shell script
Used as separator for unique id in socket and process identifiers
Example:
put "/bin/sh#id2" into myProcess
Related Terms
Related terms in the SenseTalk Dictionary.