Added log-symbols