⊥(x)のようにかいて変数xを含む矛盾式を代表するような
書き方ってよくありますか？