אנגלית ⇄ סינית +

integer-restricted variable
	整数约束变量