Thread:HumansCanWinElves/@comment-46539204-20200907181442/@comment-45117243-20200914074855

That's a very nice design, but how do they use it with the tildes syntax? Do they put

}} ?