If you have Telegram, you can view and join
')<V()'\. M->/\ ^lr, {}->{o} ^lrrrl and other Quillen negations right away.