きいねく式述語論理記述

$ ^{\forall\varepsilon>0,\exist\delta>0, \exist\alpha\in\R}\left[\left|\frac{f(x+\delta)-f(x)}{\delta}-\alpha\right|<\varepsilon\right]

bracket の中身が言いたいことの本題なので量化子は小さく書く

きいねく@Keyneqq さんが Twitter にて提案していた

論理式って一行表記すると視認性わるいよなぁと常々思っていたので，これくらいはやりたい．

(特に量化子の部分を小さくするのはよくやる)

https://gyazo.com/0d6f12b3e52dd47335f333a09b4ab42c

$ ^\exist S.(\varnothing\in S\land^\forall x\in S.(x\cup\{x\}\in S))

あんまり好きではなかったが、上の主張を見て少し心が揺れてる