\usepackage[margin=.75in]{geometry}
\usepackage{verbatim}
\usepackage{tikz} \usetikzlibrary{shapes.geometric,calc,arrows}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage[bbgreekl]{mathbbol}
\usepackage{mathtools}
\usepackage[only,rightarrowtriangle,shortrightarrow,shortleftarrow]{stmaryrd}
\usepackage{extpfeil}
\usepackage{chemarrow}
\usepackage{framed}
\usepackage{cmll}
\usepackage{rotating}
\usepackage{graphicx}
\usepackage{wrapfig}
\usepackage[inference]{semantic}