From e22166133b7cfaf367265084da021a8bb372a5e0 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Sat, 7 Aug 2021 16:14:25 -0400 Subject: Add macro for defined terms --- definitions.sty | 2 ++ 1 file changed, 2 insertions(+) diff --git a/definitions.sty b/definitions.sty index f21eb49..01bdd5c 100644 --- a/definitions.sty +++ b/definitions.sty @@ -12,3 +12,5 @@ \textbf{Given:} #3 \\ \textbf{Queries:} #4 } + +\newcommand{\definedterm}[1]{\emph{#1}} -- cgit v1.2.3