一、逻辑学虚拟键盘
最终代码效果为图3。因为逻辑符号不是日常符号,特别是几个量词和模态子,键盘上都找不到,因此把它写成了虚拟键盘。
逻辑学虚拟键盘2 逻辑学虚拟键盘 ∀ ∃ □ ◇ ¬ ∧ ∨ → ↔
二、 月亮随鼠标
月亮跟随鼠标事件
涉及的知识点为同步异步。