如何确定给定数学符号的原子种类？

Question

有没有办法确定 TeX 分配给给定数学符号的原子类型？例如，我怀疑和\exists都是\forall“类型 1”数学原子（即运算符），但在这种情况下我是“从数学角度”思考的。