metalogic has conventions for what you can name different things in logic, but no convention for what you can name different things in metalogic. the latin and greek alphabets are taken, so I named three long and boring things [drawing of the silhouette of a dromedary], [bluh-emoji] and [drawing...