Constant symbols are translated to TPTP without single quotes

[Fxhnd]

TPTP needs constants to be wrapped in either single quotes (') to represent constants or (") to represent disjoint constants.

[Fxhnd]

Turns out that you don't need the single quotes to declare constants. Also, none of the provers or model finders seem to support using the " for disjoint constants so this is a moot issue

~Closing