Used proper symbol replacement