comma leader, hidden (buffer switching), ; mapped to :