Use proper ⋿ symbol