replaced ⋆ (U+22C6) with * (U+002A)
replaced − (U+2212) with - (U+002D)
added | and ⍨ to syntax file