Knuth's dangerous bend symbol