Title: symbol manipulation languages and techniques