@icecolbeveridge @reflectivemaths I hope the #mathspolice isn't assuming there exists a group of wingdings. It's more likely to be a monoid