%%%% % Personal information %%%% \newcommand{\myname}{Joshua Coles} \newcommand{\mytitle}{Applicant} \newcommand{\myemail}{me@joshucoles.me} \newcommand{\mylinkedin}{https://www.linkedin.com/in/joshua-coles-a79498151/} \newcommand{\myphone}{+44 7564 199236} \newcommand{\mylocation}{Bath / Reading, UK} %%%% % Company Information %%%% \newcommand{\recipient}{Hiring Manager} \newcommand{\greeting}{Dear} \newcommand{\closer}{Kind Regards} \newboolean{include-signature} \setboolean{include-signature}{false} \newboolean{include-company-address} \setboolean{include-company-address}{false} \newcommand{\company}{AdaCore} \newcommand{\companyaddress}{ 1 Microsoft Way\\ Redmond, WA\ 98052}