P54443
Indicates that a given formal system, expression, or language includes at least one symbol that is not part of its logical vocabulary (e.g., not a connective, quantifier, or equality sign).