From 5e4ad2777acc4c2420514e39fb98b7cf2e200996 Mon Sep 17 00:00:00 2001
From: Douglas Rumbaugh <dbr4@psu.edu>
Date: Sun, 27 Apr 2025 17:36:57 -0400
Subject: Initial commit

---
 cls/userlib.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 cls/userlib.tex

(limited to 'cls/userlib.tex')

diff --git a/cls/userlib.tex b/cls/userlib.tex
new file mode 100644
index 0000000..c64d25a
--- /dev/null
+++ b/cls/userlib.tex
@@ -0,0 +1,22 @@
+\newcommand{\nop}[1]{}
+\newtheorem{definition}{Definition}
+\newtheorem{theorem}{Theorem}
+\newtheorem{observation}{Observation}
+\newtheorem{lemma}{Lemma}
+\newtheorem{remark}{Remark}[section]
+\newtheorem{corollary}{Corollary}[section]
+\newtheorem{example}{Example}
+\newtheorem{claim}{Claim}
+
+\DeclareMathOperator{\op}{op}
+\DeclareMathOperator{\args}{arg}
+\DeclareMathOperator{\cost}{cost}
+\DeclareMathOperator{\lleft}{left}
+\DeclareMathOperator{\rright}{right}
+\DeclareMathOperator{\argmax}{argmax}
+\DeclareMathOperator{\argmin}{argmin}
+
+\newcommand{\Paragraph}[1]{~\vspace*{-0.8\baselineskip}\\{\bf #1}}
+\newcommand\mathbftt[1]{\textnormal{\ttfamily\bfseries #1}}
+
+\newcommand\note[1]{\marginpar{\color{red}\tiny #1}}
-- 
cgit v1.2.3

