as: Whitespace

 
 3.2 Whitespace
 ==============
 
 "Whitespace" is one or more blanks or tabs, in any order.  Whitespace is
 used to separate symbols, and to make programs neater for people to
 read.  Unless within character constants (SeeCharacter Constants
 Characters.), any whitespace means the same as exactly one space.