>>459
この形式の証明図の変形を記述する記法です
仮定を結論の前提に組み入れることを表してる