← big awoo notation

Nobody here yet.