mymacros.tex

\providecommand{\mytitle}{}
\newcommand{\myauthor}{Simmo Saan}
\providecommand{\mykeywords}{}

\addto\captionsestonian{
	\renewcommand{\mytitle}{Abstraktsete domeenide omaduspõhine testimine}
	\renewcommand{\mykeywords}{staatiline analüüs, andmevooanalüüs, abstraktne interpretatsioon, võred, Goblint}
}

\addto\captionsenglish{
	\renewcommand{\mytitle}{Property-based Testing of Abstract Domains}
	\renewcommand{\mykeywords}{static analysis, data-flow analysis, abstract interpretation, lattices, Goblint}
}

\let\sqleq\sqsubseteq
\let\sqgeq\sqsupseteq
\let\sqlt\sqsubset
\let\sqgt\sqsupset

\newcommand{\powerset}[1]{\mathcal{P}(#1)}
\let\emptyset\varnothing

\newcommand{\Var}{\mathsf{Var}}
\newcommand{\Val}{\mathsf{Val}}

\newcommand{\tf}{\mathit{tf}}

\newcommand{\ingl}[1]{ingl. \textit{\foreignlanguage{english}{#1}}}

% prefix tilde for approximate numbers - https://tex.stackexchange.com/a/9372
\newcommand{\presim}{{\raise.17ex\hbox{$\scriptstyle\sim$}}}