Remove \nequiv. Fix #2.