deletions | additions       diff --git a/header.tex b/header.tex  index d67f2e3..5df81bb 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\Fb}{ \mathbb{F}_{2}}  \newcommand{\FB}{ \mathbb{F}_{256}}  \newcommand{\RR}{ \mathbb{R}}  \newcommand{\ZZ}{ \mathbb{Z}}  \newcommand{\QQ}{ \mathbb{Q}}  \newcommand{\OR}{\textrm{OR}}  \newcommand{\AND}{\textrm{AND}}  \newcommand{\NOT}{\textrm{NOT}}