数学内論理記号

←　ただし、が　but　但