不動点おじさん @nue_of_k@mathtod.online

@qnighy 不動点おじさんです

「$\uparrow$」、上界以外の用法としては Knuth の矢印表記 https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%8C%E3%83%BC%E3%82%B9%E3%81%AE%E7%9F%A2%E5%8D%B0%E8%A1%A8%E8%A8%98 がある
https://mathtod.online/web/statuses/13773

可換図式描けるのか。良さがある

数式中に漢字は入るが絵文字は入らない、と

$\dfrac{\text{stand}}{\text{目}}$

$\dfrac{\text{stand}}{\text{👀}}$

自分でどっちのインスタンスにいるかわからなくなるので名前とアイコン変えた

$(\lambda x.xxx)(\lambda x.xxx)\to_\beta(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)\to_\beta(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)\to_\beta(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)\to_\beta(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)\to_\beta(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)\to_\beta\dots$

$\forall X.\, (\varnothing \notin X) \land (\forall x, y \in X.\, x \ne y \to x \cap y = \varnothing) \to (\exists A.\, \forall x \in X.\, \exists t.\, x \cap A = \{ t \})$

他の人の環境でどう見えているかは知らないが、取り敢えずキッコーマンらしきものが描けた

$\lower2.5pt{\huge ⬡}\hspace{-1.1em}萬$ キッコーマン

\llap は無理か

$\text{⬡\llap{萬}}$

$\color{cyan}{\huge{\text{cyan big で荒らさないでよ}}}$