Can you post to him on SI and ask him for the symbol as well as the terms, if not, can you give me URL to that post (in the form of #reply-XXXXX, where the XXX is taken from the rightmost side of the URL window, it is the post's ID)?