m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 昨日の記事「非継承的なグロタンディーク宇宙」の最後の節に、ZF集合論の公理達を並べているのですが、あまり読みやすくないですね。論理式も、記法やレイアウトを工夫すると可読性が向上することがあります。やってみましょう。$`\newcommand{\Uin}{\mathrel{\epsilon} } \newcommand{\mbf}[1]{\mathbf{#1} } `$試してみることは： 限量子の直後の '$`\in U`$' の省略 限量子記号 '$`\forall`$' の省略 改行した場合はドット〈ピリオド〉を省略 許容関数（$`\mathrm{AMap}(x, y)`$ の要素）の書き方… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2024%2F08%2F02%2F105316" title="論理式も記法・レイアウトで可読性が変わる - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2024-08-02 10:53:16 rich https://m-hiyama.hatenablog.com/entry/2024/08/02/105316 1.0 100%