Normalisation for "prob" + "~"; treat as a language extension