Lean4 Unicode Basic

Basic Unicode support for Lean 4