St Mary Road symbols for theoretical computer science
