Using symbols for strings in defword