IMSS

Iven Mathematical Symbols Standard（小青青数学符号标准），由小青青标准化组织（ISO,第一个I指Iven而不是International）于2019年5 月创立，旨在统一小青青在生产生活、与他人交流时所使用的数学符号。小青青在整理集合笔记时，发现老师写在黑板上的很多符号是电脑打不出来的，只能用其它符号替代。遂创立本标准。

基础运算

加法

+

加法运算。

-

减法运算。

乘法

*

乘法运算。

/

除法运算。

幂

^

乘方运算。

√

开方运算。

阶乘

!

阶乘运算。

集合

包含

⊆

包含于。

⊇

被包含于。

⊄

不包含于。

属于

∈

属于。

∉

不属于。

逻辑

命题

⇔

等价。

量词

∃

存在。