記号操作可能性