Also spaces around `<`