Open liutianlin0121 opened 9 years ago
In set.zhs.tex, $\bsetst{x}x{\hasprop{x}P}$ The syntax \hasprop gives the English words “has property” as follow:
For the translation, I guess we need to replace it.
In set.zhs.tex, $\bsetst{x}x{\hasprop{x}P}$ The syntax \hasprop gives the English words “has property” as follow:
For the translation, I guess we need to replace it.