There are a bunch of discussions on this, see e.g. here: ★ is not an operator - #2 by Sukera
5 Likes
There are a bunch of discussions on this, see e.g. here: ★ is not an operator - #2 by Sukera