Evaluated lappend figfonts Lean