[math-fun] Eta' "notational modularity"