0.13.18 (2021-09-02) Features unicode support for minus and asterisk operators (#3227) (9dbfc1c), closes #3225