5˙254
Die Operation kann verschwinden (z.B. die Verneinung in „~~p”; ~~p = p).