Update STYLE, incorporating wiki; close #468

If we use unicode, should use use `ι` here?