Slightly better symbol (WS instead of S) for whitespace