数学的に→は使わないのかしら
ホモ数学では使うわよね