actually printing symbol stuff