In[76]:= ?/;
Out[76]= InformationData[<|"ObjectType" -> "Symbol",
"Usage" -> "\!\(\*RowBox[{StyleBox[\"patt\", \"TI\"], \"/;\", \
StyleBox[\"test\", \"TI\"]}]\) 是一个模式，仅当 \!\(\*StyleBox[\"test\", \"TI\
\"]\) 为 True 时才匹配. \n\!\(\*RowBox[{StyleBox[\"lhs\", \"TI\"], \":>\", \
RowBox[{StyleBox[\"rhs\", \"TI\"], \"/;\", StyleBox[\"test\", \
\"TI\"]}]}]\) 表示一个规则，仅当 \!\(\*StyleBox[\"test\", \"TI\"]\) 为 True \
时才应用. \n\!\(\*RowBox[{StyleBox[\"lhs\", \"TI\"], \":=\", \
RowBox[{StyleBox[\"rhs\", \"TI\"], \"/;\", StyleBox[\"test\", \
\"TI\"]}]}]\) 是一个仅当 \!\(\*StyleBox[\"test\", \"TI\"]\) 为 True \
时使用的定义.",
"Documentation" -> <|"Web" -> "http://reference.wolfram.com/\
language/ref/Condition.html.zh"|>, "OwnValues" -> None,
"UpValues" -> None, "DownValues" -> None, "SubValues" -> None,
"DefaultValues" -> None, "NValues" -> None, "FormatValues" -> None,
"Options" -> None, "Attributes" -> {HoldAll, Protected},
"FullName" -> "System`Condition"|>, False]
