ノーテーションの名前を知りたいとき

Lean tips 
set_option pp.notation true in #print Eq.trans
set_option pp.notation false in #print Eq.trans
set_option pp.notation false in #check 1 + 3
set_option pp.notation true in #check 1 + 3