Add two missing operators '⟨' and '⟩' for Lean theorem prover
Add two missing operators '⟨' and '⟩' for Lean theorem prover

sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments