First Order Logic

Are `'John'` and `'Jack'` implicitly converted to `Symbol('John')` and `Symbol('Jack')`?