I don't see this symbol referenced anywhere in the code. Can you show me where it's used?