symbols.sty

%% symbols.sty
%%
%% Author: Jose Abel Castellanos Joo

\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{symbols}[2020/01/20 Personal macros]

\RequirePackage{xcolor}
\RequirePackage{amsthm}
\RequirePackage{amsmath}
\RequirePackage{amsfonts}
\RequirePackage{amssymb}
\RequirePackage{mathtools}
\RequirePackage{tikz}
\RequirePackage{listings}

\definecolor{codegreen}{rgb}{0,0.6,0}
\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{codepurple}{rgb}{0.58,0,0.82}
\definecolor{backcolour}{rgb}{0.97,0.97,0.97}
\lstdefinestyle{code-style}{
  backgroundcolor=\color{backcolour},
  commentstyle=\color{codegreen},
  keywordstyle=\color{magenta},
  numberstyle=\tiny\color{codegray},
  stringstyle=\color{codepurple},
  basicstyle=\ttfamily\footnotesize,
  breakatwhitespace=false,
  breaklines=true,
  captionpos=b,
  keepspaces=false,
  numbers=left,
  numbersep=5pt,
  showspaces=false,
  showstringspaces=false,
  showtabs=false,
  tabsize=2
}
\lstset{style=code-style}

% Keywords command
\providecommand{\keywords}[1]
{
  \small	
  \textbf{	extit{Keywords---}} #1
}
\newcommand{\NN}[0]{\mathbb{N}}
\newcommand{\ZZ}[0]{\mathbb{Z}}
\newcommand{\QQ}[0]{\mathbb{Q}}
\newcommand{\RR}[0]{\mathbb{R}}
\newcommand{\CC}[0]{\mathbb{C}}
\newcommand{\overbar}[1]{\mkern 1.5mu\overline{\mkern-1.5mu#1\mkern-1.5mu}\mkern 1.5mu}
\newcommand{\polyring}[2]{#1[X_1, \dots, X_#2]}
\newcommand{\extcong}[3]{#1 \cong #2 \text{ } #3}

\newcommand{\bigO}[1]{$\mathcal{O}(#1)$}

\newcommand{\grob}[0]{Gr\"obner}

\newcommand{\join}[3]{#1 \downarrow_{#3} #2}
\newcommand{\rrule}[1]{\rightarrow_{#1}}
\newcommand{\lrule}[1]{\leftarrow_{#1}}

\newcommand{\cev}[1]{\underline{#1}}
\newcommand{\another}[1]{#1^{'}}

\newcommand{\qall}[2]{\forall #1 . \text{ } #2}
\newcommand{\qex}[2]{\exists #1 . \text{ } #2}

\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}

\newcommand{\separationline}[0]{0.75}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{notation}{Notation}[section]
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[definition]