Ahh, that's what a symbol is. After tons of googling, I could find almost no reference to it in documentation. Couldn't figure out how to construct one, figured it should just be a string. Is there a good reason to choose symbol over string "jω"?