From fd1c74488f4faaf8076d06eff4f235c6ece63c04 Mon Sep 17 00:00:00 2001
From: Noah Diewald <noah@diewald.me>
Date: Mon, 19 Jul 2021 20:10:51 -0400
Subject: [PATCH] jlm stuff

---
 morphologyqp.sty | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/morphologyqp.sty b/morphologyqp.sty
index 124b9b6..41a67ec 100644
--- a/morphologyqp.sty
+++ b/morphologyqp.sty
@@ -7,13 +7,13 @@
   prefix=QP@
 }
 
-\DeclareStringOption[Untitled]{title}
+\DeclareStringOption{title}
 \DeclareStringOption[Noah Diewald]{creator}
 
 \ProcessKeyvalOptions*
 
 \ifx\QP@title\@empty
-\newcommand*{\mytitle}{What}
+\newcommand*{\mytitle}{Variability in inflection and realization by proof}
 \else
 \newcommand*{\mytitle}{\QP@title}
 \fi
@@ -23,6 +23,9 @@
 \else
 \newcommand*{\myauthor}{\QP@creator}
 \fi
+
+\title{\mytitle}
+\author{\myauthor}
   
 \usepackage[natbib,style=authoryear,minitems=1,maxbibnames=100]{biblatex}
 % \usepackage{coqdoc}
@@ -37,6 +40,7 @@
 \usepackage{sfmath}
 \usepackage{amssymb}
 \usepackage{amsmath}
+\usepackage{varwidth}
 \usepackage{fontspec}
 \usepackage{graphicx}
 \usepackage{expex}
@@ -131,6 +135,10 @@
 
 \newcommand{\possessivecite}[1]{\citeauthor{#1}'s (\citeyear{#1})}
 
+\newenvironment{mathprooftree}
+  {\varwidth{.9\textwidth}\centering\leavevmode}
+  {\DisplayProof\endvarwidth}
+
 \newcommand{\concat}{\ensuremath{+\!\!\!\!+\,}}
 \newcommand{\cprod}{\ensuremath{\!\!\times\!\!}}
 \newcommand{\cocprod}{\ensuremath{\!\!+\!\!}}
@@ -171,9 +179,6 @@
   urlcolor=darkblue
 }
 
-\title{\mytitle}
-\author{\myauthor}
-
 \addbibresource{bibliographies/math.bib}
 \addbibresource{bibliographies/quechua.bib}
 \addbibresource{bibliographies/algonquian.bib}