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


            
            #check fun a b c ↦  a + b + c + 1

            
            set_option pp.unicode.fun true in

            
            #check fun a b c => a + b + c + 1

            
            set_option pp.unicode.fun true in

            
            #check ∃ n : Nat, n ≤ 0
	#check fun a b c ↦ a + b + c + 1
	set_option pp.unicode.fun true in
	#check fun a b c => a + b + c + 1
	set_option pp.unicode.fun true in
	#check ∃ n : Nat, n ≤ 0