\RequirePackage{amssymb,amsmath,graphicx,fancyvrb}
\newcommand{\F}{\mathbb{F}}
\newcommand{\av}{\textup{\textbf{a}}}
\newcommand{\bv}{\textup{\textbf{b}}}
\newcommand{\cv}{\textup{\textbf{c}}}
\newcommand{\dv}{\textup{\textbf{d}}}
\newcommand{\wout}{\setminus}
\newcommand{\abs}[1]{\lvert{#1}\rvert}
\newcommand{\zerohat}{\widehat{0}}
\newcommand{\onehat}{\widehat{1}}
\usepackage{xcolor}
%\definecolor{red}{RGB}{235,0,89}
%\definecolor{blue}{RGB}
%\definecolor{green}{RGB}{66,235,127}
%\definecolor{yellow}{RGB}{250,244,72}
%\definecolor{purple}{RGB}{185,55,250}
\definecolor{input}{RGB}{0,0,0}
\definecolor{output}{RGB}{67,148,235}
\definecolor{normal}{RGB}{0,0,0}
\newcommand{\join}{\vee}
\emergencystretch 2em
\newcommand{\genlatt}{{generator-enriched lattice}}
\newcommand{\genlatts}{{generator-enriched lattices}}
\newcommand{\Genlatt}{{Generator-enriched lattice}}
\newcommand{\Genlatts}{{Generator-enriched lattices}}
