[ruuda]

Also in Dutch universities to mark a contradiction, especially in a proof by contradiction.