% use XeLaTex to compile
\documentclass{article}
\usepackage{mathpazo}
\usepackage{graphicx}
\usepackage[usenames,dvipsnames]{xcolor}
\begin{document}
% generate large new LEAN logo
%\[ \scalebox{10}{$\color{OliveGreen} \lambda\exists\forall\mathbb{N}_{i}$} \]
\[ \scalebox{10}{$\color{Maroon} \lambda\exists\forall\mathbb{N}_{i}$} \]
\end{document}

