tests/lean/ppUnicode.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            fun a b c => a + b + c + 1 : Nat → Nat → Nat → Nat

            
            fun a b c ↦ a + b + c + 1 : Nat → Nat → Nat → Nat

            
            ∃ n, n ≤ 0 : Prop
	fun a b c => a + b + c + 1 : Nat → Nat → Nat → Nat
	fun a b c ↦ a + b + c + 1 : Nat → Nat → Nat → Nat
	∃ n, n ≤ 0 : Prop