不懂就问：
(3 + 5*C | 2 + 3*C) \[Element] Primes是什么意思？
或者说，(3 + 5*C | 2 + 3*C)是什么意思，因为查过帮助后，发现好像查不到中间那一竖的意思。
而如果那一竖代表整除，后面属于质数域好像说不通。
原代码如下：
In[1]:=Solve[3 m - 5 n == -1, {m, n}, Primes]
Out[1]:={{m -> ConditionalExpression[
3 + 5 C[1], (3 + 5 C[1] | 2 + 3 C[1]) \[Element] Primes &&
C[1] \[Element] Integers && C[1] >= 0],
n -> ConditionalExpression[
2 + 3 C[1], (3 + 5 C[1] | 2 + 3 C[1]) \[Element] Primes &&
C[1] \[Element] Integers && C[1] >= 0]}}

直接在帮助里搜 | 应该就能搜到，如果不行的话可能是帮助的搜索功能有问题，这时有个曲线救国的方法：把你看不懂的部分单独拿出来//FullForm，搜里面不认识的函数名字就OK了
比如
(3 + 5*C | 2 + 3*C) \[Element] Primes // FullForm
Element[Alternatives[Plus[3,Times[5,C]],Plus[2,Times[3,C]]],Primes]
所以搜Alternatives就行了