缩写	全称	中文释义
POPCORN	Possibly Only Practical Convenient OpenMath Replacement Notation	可能只有实用方便的openmath替换符号