[math-fun] Okay, what's the name of this tiling?