数式をブラケティング
数式をブラケティングしてみた
(P∨Q)∧P⇔P
├∀x∈∅;P(x)
「P」「Q」を入力しただけで補完に出るのはいいかも
記号系の入力が大変かと思ったけど、IMEの補完がそこそこ効いたので予想よりは楽だった
例えば「∀」は「すべて」を変換すると出てくる
smartphoneからはやりにくい
ATOK for Androidの入力候補に出てこない
数学記号をUnicodeで入力するIME追加辞書を入れると、$ \LaTeXっぽく打てたりする
複雑な数式になると大変になりそう？
わからん
積分や総和表現はむずそう
#2024-02-14 13:54:46
#2021-12-09 10:28:38
#2021-07-01 16:56:51