(Yes, those are Ufx fonts in use)

(And to be clear, this isn't in Uxn -- that would take ages and this is for a lecture I need to deliver this weekend :P)